An automaton approach to Kripke semantics - DUMAS - Dépôt Universitaire de Mémoires Après Soutenance Access content directly
Master Thesis Year : 2013

An automaton approach to Kripke semantics


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.
Fichier principal
Vignette du fichier
GaspardDouady.pdf (326.67 Ko) Télécharger le fichier

Dates and versions

dumas-00854836 , version 1 (28-08-2013)


  • HAL Id : dumas-00854836 , version 1


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


Gmail Facebook X LinkedIn More