Directed frames
From MaRDI portal
Publication:1264137
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
modal logic; intermediate logic; nested domains; directed frame; maximum cluster; maximum element; weak excluded middle
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