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 metadatas

Cited literature [7 references]  Display  Hide  Download

https://dumas.ccsd.cnrs.fr/dumas-00854836
Contributor : Co-Responsables Du Mri V. Gouranton Et S. Blazy <>
Submitted on : Wednesday, August 28, 2013 - 11:27:15 AM
Last modification on : Saturday, July 11, 2020 - 3:23:02 AM
Long-term archiving on: : Thursday, April 6, 2017 - 9:40:41 AM

Identifiers

  • HAL Id : dumas-00854836, version 1

Citation

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

Share

Metrics

Record views

348

Files downloads

246