LWB swMATH ID: 1820 Software Authors: Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain Description: 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. Homepage: https://academic.oup.com/logcom/article/7/5/649/970231 Keywords: propositional normal modal logics; axiomatizations; logics workbench LWB; theorem prover; database of theorems; survey Related Software: MSPASS; TPTP; VAMPIRE; MiniSat Cited in: 3 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Relations between propositional normal modal logics: An overview. Zbl 0884.03005Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain 1997 all top 5 Cited by 9 Authors 2 Heuerding, Alain 1 Goré, Rajeev Prabhakar 1 Heinle, Wolfgang 1 Pudlák, Pavel 1 Rabe, Florian 1 Seyfried, Michael 1 Shen, Weina 1 Sutcliffe, Geoff 1 Zimmermann, Heinrich Cited in 2 Serials 1 Journal of Logic and Computation 1 Journal of Applied Logic Cited in 2 Fields 3 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year