A Godel Modal Logic (original) (raw)
Related papers
Studia Logica - An International Journal for Symbolic Logic, 2010
Axiomatization of Crisp Gödel Modal Logic
Studia Logica, 2020
A Finite Model Property for Gödel Modal Logics
Lecture Notes in Computer Science, 2013
Post complete and 0-axiomatizable modal logics
Annals of Pure and Applied Logic, 1990
Towards a Proof Theory of G�del Modal Logics
Corr, 2011
Towards a Proof Theory of Gödel Modal Logics
Logical Methods in Computer Science, 2011
Algebras and relational frames for G\\"odel modal logic and some of its extensions
2021
Canonicity and Completeness Results for Many-Valued Modal Logics
Journal of Applied Non-classical Logics, 2002
A note on some explicit modal logics
2006
On some intuitionistic modal logics
Publications of the Research Institute for Mathematical Sciences, 1977
Frame definability in finitely-valued modal logics
arXiv (Cornell University), 2022
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Journal of Logic and Computation, 2009
Finite non-deterministic semantics for some modal systems
Marcelo Esteban Coniglio, Newton Peron
Journal of Applied Non-Classical Logics, 2015
On Some Completeness Theorems in Modal Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1966
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 the relation between modal and multi-modal logics over Łukasiewicz logic
2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017
An Infinitary Graded Modal Logic (Graded Modalities VI)
1995
On modal and intuitionistic logics
Metascience, 2014
Classically complete modal relevant logics
Mathematical Logic Quarterly, 1993
Lattices of intermediate and cylindric modal logics
2006