Relations between propositional normal modal logics: an overview

DOI10.1093/logcom/7.5.649zbMath0884.03005OpenAlexW2169480936MaRDI QIDQ4365323

Alain Heuerding, Rajeev Goré, Wolfgang Heinle

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)

Related Items

VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED ⋮ Efficient loop-check for backward proof search in some non-classical propositional logics ⋮ Solving the \$100 modal logic challenge ⋮ LWB