An automaton approach to Kripke semantics - DUMAS - Dépôt Universitaire de Mémoires Après Soutenance Accéder directement au contenu
Mémoires Année : 2013

An automaton approach to Kripke semantics

Résumé

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
Loading...

Dates et versions

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

Identifiants

  • HAL Id : dumas-00854836 , version 1

Citer

Gaspard Douady. An automaton approach to Kripke semantics. Formal Languages and Automata Theory [cs.FL]. 2013. ⟨dumas-00854836⟩
194 Consultations
116 Téléchargements

Partager

Gmail Facebook X LinkedIn More