Image de couverture de livre

Agent Interpolation for Knowledge

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bílková, Marta, Fussner, Wesley, Kuznets, Roman
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Logic 03B45 (Primary) 03B42, 03F03 (Secondary) I.2.4; F.4.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Uniform Interpolation
par: van Gool, Sam
Publié: (2025)

Modal logic, fundamentally
par: Holliday, Wesley H.
Publié: (2024)

First-Order Coalition Logic
par: Catta, Davide, et autres
Publié: (2025)

Interpolation and the Exchange Rule
par: Fussner, Wesley, et autres
Publié: (2023)

Mechanised uniform interpolation for modal logics K, GL, and iSL
par: Férée, Hugo, et autres
Publié: (2024)

Support + Belief = Decision Trust
par: Aldini, Alessandro, et autres
Publié: (2024)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
par: Forster, Jonas, et autres
Publié: (2023)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2020)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
par: Cerda, Rémy, et autres
Publié: (2022)

On an ordinary expansion of first-order Belnap-Dunn logic
par: Middelburg, C. A.
Publié: (2023)

First-Order Fischer Servi Logic
par: Christensen, Ahmee
Publié: (2024)

On the expressive power of inquisitive epistemic logic
par: Ciardelli, Ivano, et autres
Publié: (2023)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
par: Walsh, Sean
Publié: (2024)

Inclusion with repetitions and Boolean constants -- implication problems revisited
par: Häggblom, Matilda
Publié: (2025)

Axiomatization of approximate exclusion
par: Häggblom, Matilda
Publié: (2024)

Axiomatizing approximate inclusion
par: Häggblom, Matilda
Publié: (2025)

Univalent Material Set Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2023)

Sheaves as oracle computations
par: Ahman, Danel, et autres
Publié: (2026)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
par: Farmer, William M., et autres
Publié: (2023)

Defeasible Reasoning via Datalog$^\neg$
par: Maher, Michael J.
Publié: (2021)

Belief in Simplicial Complexes
par: Sink, Philip, et autres
Publié: (2025)

A Note on Proper Relational Structures
par: Bjorndahl, Adam, et autres
Publié: (2025)

Varieties of Distributed Knowledge
par: Galimullin, Rustam, et autres
Publié: (2025)

Knowability as continuity: a topological account of informational dependence
par: Baltag, Alexandru, et autres
Publié: (2024)

Logics of polyhedral reachability
par: Bezhanishvili, Nick, et autres
Publié: (2024)

Dismantling the Surprise Test "Paradox"
par: Dietzfelbinger, Martin
Publié: (2026)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
par: Galliani, Pietro
Publié: (2025)

Continuations and Completeness in Proof-theoretic Semantics
par: Gu, Tao, et autres
Publié: (2026)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
par: Moore, Hayden, et autres
Publié: (2025)

Interpolation in Non-Classical Logics
par: Fussner, Wesley
Publié: (2025)

Glivenko's theorems from an ecumenical perspective
par: Pereira, Luiz Carlos, et autres
Publié: (2026)

Complexity of some modal logics of density (extended version)
par: Balbiani, Philippe, et autres
Publié: (2025)

Reopening of the conjecture about the decidability of Quasi-Dense Modal Logics (Comments on Lyon & Ostropolski-Nalewaja's result)
par: Gasquet, Olivier
Publié: (2025)

FMP for QD logics. A wrong proof
par: Gasquet, Olivier
Publié: (2025)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
par: Stanković, Marko, et autres
Publié: (2025)

Locally tabular products of modal logics
par: Shapirovsky, Ilya B., et autres
Publié: (2024)

Possibility Semantics
par: Holliday, Wesley H.
Publié: (2024)

Encoding Argumentation Frameworks to Propositional Logic Systems
par: Tang, Shuai, et autres
Publié: (2025)

Game semantics for the constructive $μ$-calculus
par: Pacheco, Leonardo
Publié: (2023)

A foundational characterization of Hoare Logic
par: Leivant, Daniel
Publié: (2026)