On the Products of Linear Modal Logics (original) (raw)
Related papers
Non-finitely axiomatisable two-dimensional modal logics
The Journal of Symbolic Logic, 2012
Products of ‘transitive’modal logics. Part I:‘negative’results
2004
On modal products with the logic of 'elsewhere'
Advances in Modal logic
Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics
Journal of Symbolic Logic, 1986
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages
Journal of Logic and Computation, 2020
Finite non-deterministic semantics for some modal systems
Marcelo Esteban Coniglio, Newton Marques Peron
Decidability of order-based modal logics
Journal of Computer and System Sciences, 2017
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
Annals of Pure and Applied Logic, 2020
A note on some explicit modal logics
2006
Proving unprovability in some normal modal logics
1991
The Journal of Symbolic Logic, 1994
Post complete and 0-axiomatizable modal logics
Annals of Pure and Applied Logic, 1990
On Provability Logics with Linearly Ordered Modalities
Studia Logica, 2014
Recursive enumerability and elementary frame definability in predicate modal logic
Journal of Logic and Computation, 2019
Algebras and relational frames for G\"{o}del modal logic and some of its extensions
arXiv (Cornell University), 2021
On the multi-dimensional modal logic of substitutions
Studia Scientiarum Mathematicarum Hungarica, 2019
On modal logics of Hamming spaces
Modal Logic as Higher-Order Logic
MISCELLANEA LOGICA
Advances in Modal Logic, 2024
Non-primitive recursive decidability of products of modal logics with expanding domains
Annals of Pure and Applied Logic, 2006
On modal and intuitionistic logics
Metascience, 2014
Representability in second-order propositional poly-modal logic
Journal of Symbolic Logic, 2002
An Explicit Formula for the Free Exponential Modality of Linear Logic
Automata, Languages and Programming, 2009
Finite model property of modal logics of finite depth
Russian Mathematical Surveys, 2016
Modal Languages and Bounded Fragments of Predicate Logic
Hajnal Andréka, Andreka Hajnal, István Németi, Johan van Benthem
Journal of Philosophical Logic, 1998
On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
Bulletin of the Section of Logic, 2017
2009
Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability
Studia Logica, 2020
A Computational Interpretation of Modal Proofs
Applied Logic Series, 1996
A simplest undecidable modal logic
2011
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures
Simplified Kripke-Style Semantics for Some Normal Modal Logics
Studia Logica, 2019
Frame definability in finitely-valued modal logics
arXiv (Cornell University), 2022
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1991