Buchumschlag

Complexity of some modal logics of density (extended version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Balbiani, Philippe, Gasquet, Olivier
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science 03B45 F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

PSPACE-completeness of bimodal transitive weak-density logic
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

FMP for QD logics. A wrong proof
von: Gasquet, Olivier
Veröffentlicht: (2025)

Recursive windows for grammar logics of bounded density
von: Gasquet, Olivier
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)

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

A declarative approach to specifying distributed algorithms using three-valued modal logic
von: Gabbay, Murdoch J., 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)

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

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

Modal logic, fundamentally
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Sheaves as oracle computations
von: Ahman, Danel, et al.
Veröffentlicht: (2026)

Support + Belief = Decision Trust
von: Aldini, Alessandro, et al.
Veröffentlicht: (2024)

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

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

On distance logics of Euclidean spaces
von: Agnew, Gabriel, et al.
Veröffentlicht: (2025)

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

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)

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

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

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Sufficient conditions for local tabularity of a polymodal logic
von: Shapirovsky, Ilya B.
Veröffentlicht: (2022)

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

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

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

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
von: Santo, José Espírito, et al.
Veröffentlicht: (2020)

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

Quantitative Graded Semantics and Spectra of Behavioural Metrics
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

Dismantling the Surprise Test "Paradox"
von: Dietzfelbinger, Martin
Veröffentlicht: (2026)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
von: Wild, Paul, et al.
Veröffentlicht: (2025)

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

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
von: Lopez, Aliaume
Veröffentlicht: (2024)

A complete logic for causal consistency
von: Simmons, Will, et al.
Veröffentlicht: (2024)

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

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

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

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

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)

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

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

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