Directed frames

DOI10.1007/BF01630811zbMath0689.03009OpenAlexW4246772431MaRDI 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 logicintermediate logicnested domainsdirected framemaximum clustermaximum elementweak excluded middle

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items

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

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