Characterizing Definability in Decidable ...
Document type :
Communication dans un congrès avec actes
Title :
Characterizing Definability in Decidable Fixpoint Logics
Author(s) :
Benedikt, Michael [Auteur]
Department of Computer Science [Oxford]
Bourhis, Pierre [Auteur]
Linking Dynamic Data [LINKS]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Boom, Michael [Auteur]
Department of Computer Science [Oxford]
Department of Computer Science [Oxford]
Bourhis, Pierre [Auteur]
Linking Dynamic Data [LINKS]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Boom, Michael [Auteur]
Department of Computer Science [Oxford]
Scientific editor(s) :
Ioannis Chatzigiannakis
Piotr Indyk
Fabian Kuhn
Anca Muscholl
Piotr Indyk
Fabian Kuhn
Anca Muscholl
Conference title :
ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming
City :
Varsovie
Country :
Pologne
Start date of the conference :
2017-07-10
English keyword(s) :
bisimulation
definability
automata
Guarded logics
definability
automata
Guarded logics
HAL domain(s) :
Informatique [cs]/Base de données [cs.DB]
English abstract : [en]
We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations ...
Show more >We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as well as effective characterizations. Our algorithms revolve around a finer analysis of the tree-model property and a refinement of the method of moving back-and-forth between relational logics and logics over trees.Show less >
Show more >We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as well as effective characterizations. Our algorithms revolve around a finer analysis of the tree-model property and a refinement of the method of moving back-and-forth between relational logics and logics over trees.Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Files
- https://hal.inria.fr/hal-01639015/document
- Open access
- Access the document
- https://hal.inria.fr/hal-01639015/document
- Open access
- Access the document
- https://hal.inria.fr/hal-01639015/document
- Open access
- Access the document
- document
- Open access
- Access the document
- LIPIcs-ICALP-2017-107.pdf
- Open access
- Access the document