scientific article; zbMATH DE number 3855096

MaRDI QIDQ3323944zbMATH OpenFDO

Authors Carlo Marchini

Publication date 1982

zbMATH Keywords

category of presheavesKripke modelslogical morphismposetpropositional languagerealizationsatisfactionsemanticssyntaxwitness

Mathematics Subject Classification ID

Model theory (03C99) Intuitionistic mathematics (03F55) Categorical logic, topoi (03G30)

Recommendations

• Presheaf semantics and independence results for some non-classical first- order logics
• Maps and monads for modal frames
• scientific article; zbMATH DE number 5839768
• Simplified Kripke-style semantics for some normal modal logics
• scientific article; zbMATH DE number 3933040

Cited in

(2)

• Notes on models of (partial) Kripke-Feferman truth
• Extensions of Kripke models

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3323944)