One-variable fragments of intermediate logics over linear frames

DOI10.1016/j.ic.2021.104755WikidataQ114172445 ScholiaQ114172445MaRDI QIDQ2672661

Olim Frits Tuyt, George Metcalfe, Ricardo Oscar Rodríguez, Xavier Caicedo

Publication date: 13 June 2022

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2021.104755

zbMATH Keywords

intermediate logics; one-variable fragments; Gödel modal logics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B55: Intermediate logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On fuzzy modal logics \(S5(\mathcal C)\)
• Extending possibilistic logic over Gödel logic
• First-order satisfiability in Gödel logics: an NP-complete fragment
• Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
• Spatial reasoning in a fuzzy region connection calculus
• Fuzzy description logics under Gödel semantics
• Standard Gödel modal logics
• Continuous Fraïssé conjecture
• Ordered sets R and Q as bases of Kripke models
• Descriptive set theory
• Completeness theorem for Dummett's LC quantified and some of its extensions
• On some intuitionistic modal logics
• Metamathematics of fuzzy logic
• Many-dimensional modal logics: theory and applications
• Varieties of monadic Heyting algebras. I
• The one-variable fragment of corsi logic
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
• Decidability of order-based modal logics
• First-order Gödel logics
• Making fuzzy description logic more general
• The limits of decidability in fuzzy description logics with general concept inclusions
• Towards a Proof Theory of G\"odel Modal Logics
• A propositional calculus with denumerable matrix
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• Linear Kripke frames and Gödel logics
• Intermediate predicate logics determined by ordinals
• A logic stronger than intuitionism
• Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic
• Bi-modal Godel logic over [0,1-valued Kripke frames]
• Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
• Logic with truth values in A linearly ordered heyting algebra
• MIPC as the formalisation of an intuitionist concept of modality
• A Note on Linear Kripke Models