Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability (original) (raw)
Related papers
A note on some explicit modal logics
2006
Products of ‘transitive’modal logics. Part I:‘negative’results
2004
On the relative succinctness of modal logics with union, intersection and quantification
adaptive agents and multi-agents systems, 2014
Canonicity and Completeness Results for Many-Valued Modal Logics
Journal of Applied Non-classical Logics, 2002
Effective completeness theorems for modal logic
Annals of Pure and Applied Logic, 2004
Finite model property of modal logics of finite depth
Russian Mathematical Surveys, 2016
Possibility Frames and Forcing for Modal Logic
2015
Advances in Modal Logic, 2024
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
Studia Logica - An International Journal for Symbolic Logic, 1995
Post complete and 0-axiomatizable modal logics
Annals of Pure and Applied Logic, 1990
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021
On the succinctness of some modal logics
Artificial Intelligence, 2013
Minimal Axiomatization in Modal Logic
Mathematical Logic Quarterly, 1997
Modal Deduction in Second-Order Logic and Set Theory - II
Studia Logica - An International Journal for Symbolic Logic, 1998
Semantical investigations on some weak modal logics. Part I
Bulletin of the Section of Logic
Quantified Modal Logic With Rigid Terms
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1988
Some remarks on (weakly) weak modal logics
Notre Dame Journal of Formal Logic, 1981
On the Products of Linear Modal Logics
Journal of Logic and Computation, 2001
Simplified Kripke style semantics for some very weak modal logics
Logic and Logical Philosophy, 2010
A gentle introduction to unification in modal logics
HAL (Le Centre pour la Communication Scientifique Directe), 2019
Classically complete modal relevant logics
Mathematical Logic Quarterly, 1993
A proof-theoretic study of the correspondence of classical logic and modal logic
Journal of Symbolic Logic, vol.68(4), pp.1403-1414, 2003
A Finite Model Property for Gödel Modal Logics
Lecture Notes in Computer Science, 2013
On Formalizing Logical Modalities
2021
Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics
Journal of Symbolic Logic, 1986
Modal Logic as Higher-Order Logic
MISCELLANEA LOGICA
Modal Deduction in Second-Order Logic and Set Theory - I
Journal of Logic and Computation, 1997
J Pharmacol Exp Ther, 2004
Simplified Kripke-Style Semantics for Some Normal Modal Logics
Studia Logica, 2019
Bundled fragments of first-order modal logic: (un)decidability
2018
First-Order Modal Logic: Frame Definability and a Lindström Theorem
Studia Logica, 2017
Frame definability in finitely-valued modal logics
arXiv (Cornell University), 2022
Back and Forth Between Modal Logic and Classical Logic
Logic Journal of The Igpl / Bulletin of The Igpl, 1995
First-order classical modal logic
Studia Logica - An International Journal for Symbolic Logic, 2006