Applications of weak Kripke semantics to intermediate consequences

DOI10.1007/BF01881553zbMATH Open0635.03020MaRDI QIDQ1097261FDOQ1097261

Authors: Wolfgang Rautenberg 

Publication date: 1986

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

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

zbMATH Keywords

intermediate logiccompleteness of weak Kripke semantics for intermediate consequencescounterslicesImplicationless fragments

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

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

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)