Relations between propositional normal modal logics: an overview

DOI10.1093/LOGCOM/7.5.649MaRDI QIDQ4365323zbMATH OpenOpenAlexFDO

Authors Rajeev Goré, Wolfgang Heinle, Alain Heuerding

Publication date 17 March 1998

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://boris.unibe.ch/114991/1/7-5-649.pdf

zbMATH Keywords

axiomatizationsdatabase of theoremslogics workbench LWBpropositional normal modal logicssurveytheorem prover

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Recommendations

• A benchmark method for the propositional modal logics K, KT, S4
• TABLEAUX: A general theorem prover for modal logics
• LWBtheory: Information about some propositional logics via the WWW
• First-order modal tableaux

Cited in

(9)

• Solving the \$100 modal logic challenge
• LWB
• A benchmark method for the propositional modal logics K, KT, S4
• Valentini's cut-elimination for provability logic resolved
• LWBtheory: Information about some propositional logics via the WWW
• Efficient loop-check for backward proof search in some non-classical propositional logics
• Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
• A formal, diagrammatic, and operational study of normative relations
• On the modal logic K plus theories

This page was built for publication: Relations between propositional normal modal logics: an overview

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