LWB
Relations between propositional normal modal logics: An overview. In this short paper the authors give a useful overview of the most common propositional normal modal logics by first providing a catalogue of their axioms (and of the alternative names that have been considered in the standard textbooks, papers and reports), and then investigating the relationships between the logics; the equivalence between multiple axiomatizations of a logic is established by showing the interderivability of the different axioms. In doing so, the authors introduce the Logics Workbench LWB, a theorem prover for propositional modal and other nonclassical logics. A pleasant side effect of their work is the fact that their catalogue of axioms provides a database of theorems that can be used as a basic benchmark for testing and comparing the performance of different theorem provers for modal logics.
Keywords for this software
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
Sorted by year (- Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina: Solving the $100 modal logic challenge (2009)
- Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain: Relations between propositional normal modal logics: An overview (1997)