Directed frames
From MaRDI portal
Publication:1264137
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
modal logicintermediate logicnested domainsdirected framemaximum clustermaximum elementweak excluded middle
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