Buchumschlag

Plausible Reasoning and First-Order Plausible Logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Billington, David
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Logic in Computer Science 03B60 F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Reasoning Around Paradox with Grounded Deduction
von: Ford, Bryan
Veröffentlicht: (2024)

First-Order Fischer Servi Logic
von: Christensen, Ahmee
Veröffentlicht: (2024)

A Primer for Preferential Non-Monotonic Propositional Team Logics
von: Sauerwald, Kai, et al.
Veröffentlicht: (2024)

First-Order Coalition Logic
von: Catta, Davide, et al.
Veröffentlicht: (2025)

Inclusion with repetitions and Boolean constants -- implication problems revisited
von: Häggblom, Matilda
Veröffentlicht: (2025)

Axiomatization of approximate exclusion
von: Häggblom, Matilda
Veröffentlicht: (2024)

Axiomatizing approximate inclusion
von: Häggblom, Matilda
Veröffentlicht: (2025)

Axiomatizing the Logic of Ordinary Discourse
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Effective bases and notions of effective second countability in computable analysis
von: Brattka, Vasco, et al.
Veröffentlicht: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Hereditary First-Order Logic: the tractable quantifier prefix classes
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
von: Galliani, Pietro
Veröffentlicht: (2025)

Proof Compression via Subatomic Logic and Guarded Substitutions
von: Barrett, Victoria, et al.
Veröffentlicht: (2025)

A declarative approach to specifying distributed algorithms using three-valued modal logic
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2025)

Local-Order-Invariant Logic on Classes of Bounded Degree
von: Aoki, Derek
Veröffentlicht: (2025)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
von: Liu, Zhangchi
Veröffentlicht: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)

Exploring the abyss in Kleene's computability theory
von: Sanders, Sam
Veröffentlicht: (2023)

Representation Theorems for Cumulative Propositional Dependence Logics
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
von: Sauerwald, Kai, et al.
Veröffentlicht: (2026)

On the Complexity and Properties of Preferential Propositional Dependence Logic
von: Sauerwald, Kai, et al.
Veröffentlicht: (2025)

Reopening of the conjecture about the decidability of Quasi-Dense Modal Logics (Comments on Lyon & Ostropolski-Nalewaja's result)
von: Gasquet, Olivier
Veröffentlicht: (2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Glivenko's theorems from an ecumenical perspective
von: Pereira, Luiz Carlos, et al.
Veröffentlicht: (2026)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

Normal forms in cubical type theory
von: Huang, Xu
Veröffentlicht: (2026)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
von: Nakamura, Yuki
Veröffentlicht: (2026)

Finite Hilbert systems for Weak Kleene logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Knowability as continuity: a topological account of informational dependence
von: Baltag, Alexandru, et al.
Veröffentlicht: (2024)

Generating proof systems for three-valued propositional logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Belief in Simplicial Complexes
von: Sink, Philip, et al.
Veröffentlicht: (2025)

A Note on Proper Relational Structures
von: Bjorndahl, Adam, et al.
Veröffentlicht: (2025)

Two strong undefinability results in inquisitive and team semantics
von: Barbero, Fausto
Veröffentlicht: (2024)

Towards Weak Stratification for Logics of Definitions
von: Guermond, Nathan
Veröffentlicht: (2026)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
von: Puljujärvi, Joni, et al.
Veröffentlicht: (2026)

Complete First-Order Game Logic
von: Wafa, Noah Abou El, et al.
Veröffentlicht: (2025)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

Complexity of some modal logics of density (extended version)
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
von: Cerda, Rémy, et al.
Veröffentlicht: (2023)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
von: Bezem, Marc, et al.
Veröffentlicht: (2022)