Copertina

Constructive S4 modal logics with the finite birelational frame property

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Balbiani, Philippe, Diéguez, Martín, Fernández-Duque, David, McLean, Brett
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Modal definability in Euclidean modal logics
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Intuitionistic modal logics: epistemic reasoning with distributed knowledge
di: Balbiani, Philippe
Pubblicazione: (2025)

Intuitionistic modal logics: a minimal setting
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Intuitionistic modal logic LIK4 is decidable
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Complete representation by partial functions for signatures containing antidomain restriction
di: McLean, Brett
Pubblicazione: (2023)

Complexity of some modal logics of density (extended version)
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Difference-restriction algebras with operators
di: Borlido, Célia, et al.
Pubblicazione: (2025)

Axiomatisation for an asynchronous epistemic logic with sending and receiving messages
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Common Knowledge Always, Forever
di: Diéguez, Martín, et al.
Pubblicazione: (2026)

PSPACE-completeness of bimodal transitive weak-density logic
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Quantum modal logic
di: Tokuo, Kenji
Pubblicazione: (2025)

Preservation theorems for Tarski's relation algebra
di: Bogaerts, Bart, et al.
Pubblicazione: (2023)

The Complexity of the Constructive Master Modality
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2026)

Minimal modal logics, constructive modal logics and their relations
di: Dalmonte, Tiziano
Pubblicazione: (2023)

Local Intuitionistic Modal Logics and Their Calculi
di: Balbiani, Philippe, et al.
Pubblicazione: (2024)

Intuitionistic monotone modal logic via translation
di: de Groot, Jim
Pubblicazione: (2025)

On semantics of first-order justification logic with binding modalities
di: Yavorskaya, Tatiana, et al.
Pubblicazione: (2025)

Intrinsic and relative characterization results for logics with negative modalities
di: de Groot, Jim, et al.
Pubblicazione: (2025)

Canonicity in power and modal logics of finite achronal width
di: Goldblatt, Robert, et al.
Pubblicazione: (2022)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
di: Grilletti, Gianluca, et al.
Pubblicazione: (2024)

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

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
di: Su, Youan
Pubblicazione: (2025)

Parameterized complexity of n-dense modal logics
di: Gasquet, Olivier
Pubblicazione: (2026)

Dynamic Cantor Derivative Logic
di: Fernández-Duque, David, et al.
Pubblicazione: (2021)

Complexity results for modal logic with recursion via translations and tableaux
di: Aceto, Luca, et al.
Pubblicazione: (2023)

S4 modal sequent calculus as intermediate logic and intermediate language
di: Caspar, Jean, et al.
Pubblicazione: (2026)

Extended multi-adjoint logic programming
di: Cornejo, M. Eugenia, et al.
Pubblicazione: (2024)

A meta-modal logic for bisimulations
di: Burrieza, Alfredo, et al.
Pubblicazione: (2025)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2026)

Tree Rewriting Calculi for Strictly Positive Logics
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2025)

Higher-order Kripke models for intuitionistic and non-classical modal logics
di: Barroso-Nascimento, Victor
Pubblicazione: (2025)

On the expressive power of inquisitive team logic and inquisitive first-order logic
di: Kontinen, Juha, et al.
Pubblicazione: (2026)

Syntax and semantics of multi-adjoint normal logic programming
di: Cornejo, M. Eugenia, et al.
Pubblicazione: (2024)

Operational semantics and program verification using many-sorted hybrid modal logic
di: Leustean, Ioana, et al.
Pubblicazione: (2019)

Tableau methodology for propositional logics
di: Jarmuzek, T., et al.
Pubblicazione: (2025)

The finite frame property of some extensions of the pure logic of necessitation
di: Kurahashi, Taishi, et al.
Pubblicazione: (2023)

A logic for default deontic reasoning
di: Piazza, Mario, et al.
Pubblicazione: (2025)

Filling in the semantics for intuitionistic conditional logic
di: Dufty, Brendan, et al.
Pubblicazione: (2025)

Modelling of logical systems by means of their fragments
di: Rybakov, Mikhail
Pubblicazione: (2025)