scientific article; zbMATH DE number 5046360

MaRDI QIDQ5483006zbMATH OpenFDO

Authors Tadeusz Litak

Publication date 15 August 2006

zbMATH Keywords

Kripke frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• Kripke completeness revisited
• Completeness: from Gödel to Henkin
• scientific article; zbMATH DE number 810109
• scientific article; zbMATH DE number 7695589
• On the weak Kleene scheme in Kripke's theory of truth
• scientific article; zbMATH DE number 759444
• Completeness and definability in the logic of noncontingency
• Completeness and the ends of axiomatization
• On denotational completeness
• On the meaning of logical completeness

Cited in

(8)

• scientific article; zbMATH DE number 3845547 (Why is no real title available?)
• scientific article; zbMATH DE number 4106815 (Why is no real title available?)
• FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS
• Kripke completeness of strictly positive modal logics over meet-semilattices with operators
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Nonconservative extensions by propositional quantifiers and modal incompleteness
• The power of a propositional constant
• All finitely axiomatizable tense logics of linear time flows are coNP-complete

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 Q5483006)