Shortest axiomatizations of implicational S4 and S5

DOI10.1305/ndjfl/1074290715zbMath1045.03021OpenAlexW1982503362WikidataQ114254311 ScholiaQ114254311MaRDI QIDQ1430904

Zachary Ernst, Larry Wos, Branden Fitelson, Kenneth D. Harris

Publication date: 27 May 2004

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1074290715

zbMATH Keywords

modal logicautomated reasoningimplicational fragmentsOttershortest axiomatization

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ Larry Wos: visions of automated reasoning

Uses Software

• OTTER
• MaGIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Condensed detachment as a rule of inference
• The resonance strategy
• The strategy of cramming
• OTTER and the Moufang identity problem
• Searching for circles of pure proofs
• Using hints to increase the effectiveness of an automated reasoning program: Case studies
• Yet another single law for lattices
• A completeness theorem in modal logic
• The pure calculus of entailment
• Strict Implication in A Sequence of Extensions of S4
• What is strict implication?
• A Fascinating Country in the World of Computing
• INVESTIGATIONS INTO IMPLICATIONAL S5
• Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic

This page was built for publication: Shortest axiomatizations of implicational S4 and S5