Directed frames

DOI10.1007/BF01630811zbMath0689.03009MaRDI QIDQ1264137

Silvio Ghilardi, Giovanna Corsi

Publication date: 1989

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01630811

zbMATH Keywords

modal logic; intermediate logic; nested domains; directed frame; maximum cluster; maximum element; weak excluded middle

Mathematics Subject Classification ID

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

03B55: Intermediate logics

Related Items

Completeness of intermediate logics with doubly negated axioms, Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle, Presheaf semantics and independence results for some non-classical first- order logics, Maximal Kripke-type semantics for modal and superintuitionistic predicate logics, On the predicate logic of linear Kripke frames and some of its extensions, Completeness theorem for Dummett's LC quantified and some of its extensions, Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics, Computable Kripke models and intermediate logics, On the predicate logics of finite Kripke frames, Incompleteness and the Barcan formula, On Kripke completeness of modal predicate logics around quantified \textbf{K5}, Incompleteness results in Kripke semantics

Cites Work

• Unnamed Item
• Presheaf semantics and independence results for some non-classical first- order logics
• A logic characterized by the class of connected models with nested domains
• Quantified Modal Logic With Rigid Terms
• Incompleteness results in Kripke semantics
• Applications of trees to intermediate logics