Guarded negation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6756 LNCS, Issue PART 2, 2011, Pages 356-367

  Bárány, Vince ^a   Ten Cate, Balder ^b   Segoufin, Luc ^c  

^a UNIVERSITY OF WARSAW   (Poland)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARBITRARY STRUCTURES; BISIMULATIONS; EXPRESSIVE POWER; FINITE MODEL PROPERTY; FINITE STRUCTURES; FIRST ORDER LOGIC; FIXPOINTS; GUARDED FRAGMENT; MODEL CHECKING PROBLEM; MODEL PROPERTIES; SATISFIABILITY PROBLEMS;

COMPUTATION THEORY;

MODEL CHECKING;

EID: 79959919745     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22012-8_28     Document Type: Conference Paper

References (14)

1. Andréka, H., van Benthem, J., Németi, I.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic 27, 217-274 (1998)
2. Bárány, V., Bojańczyk, M.: Finite satisfiability for guarded fixpoint logic. Draft available at arXiv:1104.2262v1 [cs.LO] (2011)
3. Bárány, V., Gottlob, G., Otto, M.: Querying the guarded fragment. In: Symposium on Logic In Computer Science, LICS (2010)
4. Berwanger, D., Grädel, E.: Games and model checking for guarded logics. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol. 2250, p. 70. Springer, Heidelberg (2001)
5. Bojańczyk, M.: Two-way alternating automata and finite models. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol. 2380, p. 833. Springer, Heidelberg (2002)
6. Grädel, E.: Decision procedures for guarded logics. In: Ganzinger, H. (ed.) CADE 1999. LNCS (LNAI), vol. 1632, pp. 31-51. Springer, Heidelberg (1999)
7. Grädel, E.: On the restraining power of guards. J. Symb. Logic 64(4), 1719-1742 (1999)
8. Grädel, E.: Why are modal logics so robustly decidable? Current Trends in Theoretical Computer Science, 393-408 (2001)
9. Grädel, E., Otto, M., Rosen, E.: Undecidability results on two-variable logics. Arch. Math. Log. 38(4-5), 313-354 (1999)
10. Grädel, E., Walukiewicz, I.: Guarded fixed point logic. In: Proc. LICS 1999. IEEE, Los Alamitos (1999)
11. Libkin, L.: Elements of Finite Model Theory. Springer, Heidelberg (2004)
12. Mortimer, M.: On languages with two variables. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 21(8), 135-140 (1975)
13. ten Cate, B., Segoufin, L.: Unary negation. In: Proc. STACS 2011 (2011)
14. Vardi, M.Y.: Why is modal logic so robustly decidable?. In: Descriptive Complexity and Finite Models, pp. 149-184 (1996)