Defining relevant implication in a propositionally quantified S4

DOI10.2307/2275626MaRDI QIDQ4382459zbMATH OpenOpenAlexFDO

Authors Philip Kremer

Publication date 29 April 1998

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275626

zbMATH Keywords

modal logicpropositional quantifiersrelevant implicationrelevant logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• The semantics of \(R4\)
• Undefinability of propositional quantifiers in the modal system S4
• scientific article; zbMATH DE number 4047689
• An admissible semantics for propositionally quantified relevant logics

Cites work

• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The expressive power of second-order propositional modal logic

Cited in

(2)

• Undefinability of propositional quantifiers in the modal system S4
• Modal logic for other-world agnostics: Neutrality and Halldén incompleteness

This page was built for publication: Defining relevant implication in a propositionally quantified S4

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