On modal products with the logic of 'elsewhere' (original) (raw)
Related papers
On the Products of Linear Modal Logics
Journal of Logic and Computation, 2001
Products of ‘transitive’modal logics. Part I:‘negative’results
2004
The decision problem of modal product logics with a diagonal, and faulty counter machines
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
Annals of Pure and Applied Logic, 2020
Finite non-deterministic semantics for some modal systems
Marcelo Esteban Coniglio, Newton Marques Peron
Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics
Journal of Symbolic Logic, 1986
Non-finitely axiomatisable two-dimensional modal logics
The Journal of Symbolic Logic, 2012
On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
Bulletin of the Section of Logic, 2017
Simplified Kripke-Style Semantics for Some Normal Modal Logics
Studia Logica, 2019
Non-primitive recursive decidability of products of modal logics with expanding domains
Annals of Pure and Applied Logic, 2006
Tensor products of modal logics
On the complexity of fragments of modal logics
AiML-2004: Advances in Modal Logic, 2004
Decidability of order-based modal logics
Journal of Computer and System Sciences, 2017
Simplified Kripke style semantics for some very weak modal logics
Logic and Logical Philosophy, 2010
Four-valued modal logic: Kripke semantics and duality
On the Complexity of Graded Modal Logics with Converse
Lecture Notes in Computer Science, 2019
On modal logics of Hamming spaces
A note on some explicit modal logics
2006
Completing the Picture: Complexity of Graded Modal Logics with Converse
Theory and Practice of Logic Programming
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages
Journal of Logic and Computation, 2020
A New Space Bound for the Modal Logics K4, KD4 and S4
Lecture Notes in Computer Science, 1999
Complexity of finite-variable fragments of propositional modal logics of symmetric frames
Logic Journal of the IGPL, 2018
On PSPACE-decidability in Transitive Modal Logic
Aiml, 2004
Advances in Modal Logic, 2024
On the multi-dimensional modal logic of substitutions
Studia Scientiarum Mathematicarum Hungarica, 2019
Proving unprovability in some normal modal logics
1991
On the Complexity of Elementary Modal Logics
Computing Research Repository, 2008
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions
Studia Logica
Post complete and 0-axiomatizable modal logics
Annals of Pure and Applied Logic, 1990
Some Lectures on Modal Logic. Supplement
Modal Logic as Higher-Order Logic
MISCELLANEA LOGICA
A Computational Interpretation of Modal Proofs
Applied Logic Series, 1996