Skip to Main content Skip to Navigation
Master Thesis

An automaton approach to Kripke semantics

Abstract : We study the satis ability problem over axiomatic extensions of modal logic K, with an automata-theoretic point of view. We exhibit optimal subclasses of alternating tree automata, thus providing a new framework for the satis ability problem with frame constraints. Additionally, we clarify the correspondence between runs of automata and branches of the standard tableau construction for modal logic. We are confi dent this pioneer work is a milestone in bridging philosophers, logicians and computer scientists know-hows.
Document type :
Master Thesis
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Co-Responsables Du Mri V. Gouranton Et S. Blazy Connect in order to contact the contributor
Submitted on : Wednesday, August 28, 2013 - 11:27:15 AM
Last modification on : Tuesday, June 15, 2021 - 4:05:52 PM
Long-term archiving on: : Thursday, April 6, 2017 - 9:40:41 AM


  • HAL Id : dumas-00854836, version 1


Gaspard Douady. An automaton approach to Kripke semantics. Formal Languages and Automata Theory [cs.FL]. 2013. ⟨dumas-00854836⟩



Record views


Files downloads