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

surveyaxiomatizationstheorem proverpropositional normal modal logicsdatabase of theoremslogics workbench LWB

Mathematics Subject Classification ID

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

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

(7)

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

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)