A generalisation of the concept of a relational model for modal logic1 (original) (raw)
Related papers
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1985
Advances in Modal Logic, 2024
Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics
Journal of Symbolic Logic, 1986
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics
Studia Logica, 2012
The Existential Fragment of Third Order Logic and Third Order Relational Machines
2014
On modal logics of model-theoretic relations
arXiv (Cornell University), 2018
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures
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
Algebras and relational frames for G\"{o}del modal logic and some of its extensions
arXiv (Cornell University), 2021
Modal logics, description logics and arithmetic reasoning
Artificial Intelligence, 1999
Modal Logic as Higher-Order Logic
MISCELLANEA LOGICA
Studia Logica - An International Journal for Symbolic Logic, 1995
The Reduction of Logic to Structures
Some Lectures on Modal Logic. Supplement
Studies in Logic and Practical Reasoning, 2007
A note on some explicit modal logics
2006
On Formalizing Logical Modalities
2021
Modal Logic for Relationships between Sets Lógica modal para relaciones entre conjuntos
Revista de Humanidades de Valparaíso, 2023
Products of ‘transitive’modal logics. Part I:‘negative’results
2004
Beyond Modalities: Sufficiency and Mixed Algebras
Studies in Fuzziness and Soft Computing, 2001
Quantified Modal Logic With Rigid Terms
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1988
Essay on modality across different logics
2022
Relational semantics for full linear logic
Lorijn van Rooijen, Dion Coumans
Journal of Applied Logic, 2014
Products of modal logics. Part 2: relativised quantifiers in classical logic
Logic Journal of IGPL, 2000
Several remarks on generating a theoretical model of modal logic
2017
First-order classical modal logic
Studia Logica - An International Journal for Symbolic Logic, 2006
The semantics of modal predicate logic II. Modal individuals revisited
Intensionality, 2005
Universal First-Order Definability in Modal Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1980
Deciding Modal Logics through Relational Translations into GF2
About the unification type of modal logic K5 and its extensions
HAL (Le Centre pour la Communication Scientifique Directe), 2021
An investigation of modal structures as an alternative semantic basic for epistemic logics
Computational Intelligence, 1989
Canonicity and Completeness Results for Many-Valued Modal Logics
Journal of Applied Non-classical Logics, 2002
Post complete and 0-axiomatizable modal logics
Annals of Pure and Applied Logic, 1990
Failures of the Interpolation Lemma in Quantified Modal Logic