Quantified extensions of canonical propositional intermediate logics

DOI10.1007/BF00370113zbMath0769.03012MaRDI QIDQ1207339

Silvio Ghilardi

Publication date: 1 April 1993

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

zbMATH Keywords

set-valued functorsgeneralization of Kripke semanticsnice predicate logics

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Intermediate logics (03B55)

Related Items (5)

The Invariance Modality ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ First-order intensional logic ⋮ Maximal Kripke-type semantics for modal and superintuitionistic predicate logics ⋮ Counterpart semantics at work: independence and incompleteness results in quantified modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Presheaf semantics and independence results for some non-classical first- order logics
• Semantical investigations in Heyting's intuitionistic logic
• Model theory.
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Incompleteness results in Kripke semantics

This page was built for publication: Quantified extensions of canonical propositional intermediate logics