scientific article; zbMATH DE number 3855096

zbMATH Open0538.03046MaRDI QIDQ3323944FDOQ3323944

Authors: Carlo Marchini 

Publication date: 1982

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

semanticsKripke modelsrealizationsyntaxposetsatisfactioncategory of presheaveswitnesslogical morphismpropositional language

Mathematics Subject Classification ID

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

Cited In (2)

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

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)