A logic characterized by the class of connected models with nested domains

DOI10.1007/BF00370630zbMath0689.03002OpenAlexW2071547211MaRDI QIDQ1264135

Giovanna Corsi

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

Kripke modelsincompletenesscanonical completenessKripke E-modelslimitations of canonical model completeness proofsquantified intuitionistic logic

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20) Categoricity and completeness of theories (03C35)

Related Items (6)

Completeness theorem for Dummett's LC quantified and some of its extensions ⋮ The Skolemization of existential quantifiers in intuitionistic logic ⋮ Directed frames ⋮ On Kripke completeness of modal predicate logics around quantified \textbf{K5} ⋮ Terminating calculi for propositional Dummett logic with subformula property ⋮ Gentzen calculi for the existence predicate

Cites Work

• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Unnamed Item

This page was built for publication: A logic characterized by the class of connected models with nested domains