Applications of weak Kripke semantics to intermediate consequences

DOI10.1007/BF01881553MaRDI QIDQ1097261zbMATH OpenFDO

Authors Wolfgang Rautenberg

Publication date 1986

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

intermediate logiccompleteness of weak Kripke semantics for intermediate consequencescounterslicesImplicationless fragments

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 3933040
• Simplified Kripke style semantics for some very weak modal logics
• scientific article; zbMATH DE number 1292304
• Semantical analysis of weak Kleene logics
• An epistemic interpretation of paraconsistent weak Kleene logic
• Weak Kripke structures and LTL
• scientific article; zbMATH DE number 3935011
• scientific article; zbMATH DE number 3837996
• On the weak Kleene scheme in Kripke's theory of truth
• scientific article; zbMATH DE number 759444

Cited in

(2)

• Replacement in logic
• A Strange Remark Attributed to Gödel

This page was built for publication: Applications of weak Kripke semantics to intermediate consequences

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