Standard Gödel Modal Logics (original) (raw)
Related papers
2009
A Finite Model Property for Gödel Modal Logics
Lecture Notes in Computer Science, 2013
Bi-modal Gödel logic over [0,1]-valued Kripke frames
Towards a Proof Theory of Gödel Modal Logics
Logical Methods in Computer Science, 2011
Axiomatization of Crisp Gödel Modal Logic
Studia Logica, 2020
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions
Studia Logica
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
Modal Logic as Higher-Order Logic
MISCELLANEA LOGICA
Effective completeness theorems for modal logic
Annals of Pure and Applied Logic, 2004
On Some Completeness Theorems in Modal Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1966
2020
Towards a Proof Theory of G�del Modal Logics
Corr, 2011
Proof Systems for a Gödel Modal Logic
Lecture Notes in Computer Science, 2009
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures
On the relation between modal and multi-modal logics over Łukasiewicz logic
2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017
First-order classical modal logic
Studia Logica - An International Journal for Symbolic Logic, 2006
Simplified Kripke style semantics for some very weak modal logics
Logic and Logical Philosophy, 2010
Decidability of order-based modal logics
Journal of Computer and System Sciences, 2017
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
Algebras and relational frames for G\"{o}del modal logic and some of its extensions
arXiv (Cornell University), 2021
Finite model property of modal logics of finite depth
Russian Mathematical Surveys, 2016
On modal logics of model-theoretic relations
arXiv (Cornell University), 2018
A note on some explicit modal logics
2006
Classically Complete Modal Relevant Logics
Mathematical Logic Quarterly, 1993