Buchumschlag

A modal logic translation of the AGM axioms for belief revision

Fuente: arXiv

Gespeichert in:

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

Ähnliche Einträge

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Domain size asymptotics for Markov logic networks
von: Koponen, Vera
Veröffentlicht: (2025)

A convergence law for continuous logic and continuous structures with finite domains
von: Koponen, Vera
Veröffentlicht: (2025)

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

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Notes on applicative matching logic
von: Leuştean, Laurenţiu
Veröffentlicht: (2025)

The Representation of Meaningful Precision, and Accuracy
von: Mani, A
Veröffentlicht: (2024)

Matching logic -- a new axiomatization
von: Leuştean, Laurenţiu, et al.
Veröffentlicht: (2025)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

Intersection Types via Finite-Set Declarations
von: Kamareddine, Fairouz, et al.
Veröffentlicht: (2024)

Computational Complexity of Preferred Subset Repairs on Data-Graphs
von: Pardal, Nina, et al.
Veröffentlicht: (2024)

State Algebra for Propositional Logic
von: Lesnik, Dmitry, et al.
Veröffentlicht: (2025)

A meta-modal logic for bisimulations
von: Burrieza, Alfredo, et al.
Veröffentlicht: (2025)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
von: Walsh, Sean
Veröffentlicht: (2024)

A non-uniform view of Craig interpolation in modal logics with linear frames
von: Kurucz, Agi, et al.
Veröffentlicht: (2023)

On Halting vs Converging in Recurrent Graph Neural Networks
von: Bollen, Jeroen, et al.
Veröffentlicht: (2026)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
von: Benzmüller, Christoph, et al.
Veröffentlicht: (2026)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
von: Kuang, Qipeng, et al.
Veröffentlicht: (2025)

TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions
von: Inoué, Takao
Veröffentlicht: (2026)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
von: Coniglio, Marcelo E.
Veröffentlicht: (2023)

A propositional cirquent calculus for computability logic
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Faithful Logic Embeddings in HOL -- Deep and Shallow
von: Benzmüller, Christoph
Veröffentlicht: (2025)

Rotations of Gödel algebras with modal operators
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2024)

Quantitative Linear Logic
von: Capucci, Matteo, et al.
Veröffentlicht: (2026)

The complexity of being monitorable
von: Camerlo, Riccardo, et al.
Veröffentlicht: (2026)

Refutability as Recursive as Provability
von: Cattabriga, Paola
Veröffentlicht: (2024)

Locally tabular products of modal logics
von: Shapirovsky, Ilya B., et al.
Veröffentlicht: (2024)

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem
von: Lau, Gabriel Rongyang
Veröffentlicht: (2026)

The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction
von: Mei, Wei, et al.
Veröffentlicht: (2021)

Canonicity in power and modal logics of finite achronal width
von: Goldblatt, Robert, et al.
Veröffentlicht: (2022)

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
von: Gabbay, Murdoch J.
Veröffentlicht: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
von: Dundua, Besik, et al.
Veröffentlicht: (2025)

There is a deep 1-generic set
von: Li, Ang
Veröffentlicht: (2024)

Propositional Measure Logic
von: Aragão, Francisco
Veröffentlicht: (2025)

Conditional and Modal Reasoning in Large Language Models
von: Holliday, Wesley H., et al.
Veröffentlicht: (2024)

Finitely Bounded Homogeneity Turned Inside-Out
von: Rydval, Jakub
Veröffentlicht: (2021)

Modular many-valued semantics for combined logics
von: Caleiro, Carlos, et al.
Veröffentlicht: (2022)

Obligations and permissions on selfextensional logics
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
von: Olarte, Carlos, et al.
Veröffentlicht: (2024)

A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
von: Motoura, Shota, et al.
Veröffentlicht: (2025)