Towards Determining the Subset Relation between Propositional Modal Logics

Natural Forests in the Temperate Zone of Europe – Values and Utilisation

Florian Rabe

Others  :  http://CEUR-WS.org/Vol-192/paper09.pdf
PID  :  47499

来源: CEUR

【 摘 要 】

We present design and implementation of a system that tries to automatically determine the subset relation between two given axiomatizations of almost arbitrary propositional modal logics, which is an open challenge problem for automated theorem proving. A test suite shows that relatively simple strategies can lead to satisfactory results, but also that certain subproblems are hard for current automated theorem provers.