de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Deciding Modal Logics through Relational Translations into GF2

MPS-Authors
http://pubman.mpdl.mpg.de/cone/persons/resource/persons44298

de Nivelle,  Hans
Programming Logics, MPI for Informatics, Max Planck Society;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

de Nivelle, H., & Demri, S. (2003). Deciding Modal Logics through Relational Translations into GF2. In Proceedings of the 3rd Methods for Modalities Workshop (pp. 15-30). Nancy, France: Loria.


Cite as: http://hdl.handle.net/11858/00-001M-0000-000F-2CAF-A
Abstract
We provide a simple translation from the satisfiability problem for regular grammar logics with converse into {GF2}, the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. Using the same method, one can show that other modal logics can be naturally translated into {GF2}, including nominal tense logics and intuitionistic propositional logic. In our view, the results in this paper provide strong evidence that the natural first-order fragment corresponding to modal logics, is {GF2}.