On the Decision Problem for Two-Variable First-Order Logic (1997)

Cached

Download Links

by Erich Grädel , Phokion G. Kolaitis , Moshe Y. Vardi
Citations:48 - 1 self

Active Bibliography

8 Local Variations on a Loose Theme: Modal Logic and Decidability – Maarten Marx, Yde Venema
Lecture Notes on Logics of Knowledge in Computer Science – R. Ramanujam
17 BDD-Based Decision Procedures for the Modal Logic K – Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi - 2005
250 Reasoning about Infinite Computations – Moshe Y. Vardi, Pierre Wolper - 1994
5 Alternating automata: Checking truth and validity for temporal logics – Moshe Y. Vardi - 1997
79 Module Checking – Orna Kupferman, Moshe Y. Vardi - 1996
7 On the unusual effectiveness of Logic in computer science – Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis
6 From church and prior to psl – Moshe Y. Vardi - 2008
2 Enhanced vacuity detection in linear temporal logic – Alon Flaisher - 2004
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces – Giuseppe De Giacomo, Moshe Y. Vardi - 2013
Logical complexity of graphs: a survey – Oleg Pikhurko , Oleg Verbitsky - 2004
128 Reasoning about The Past with Two-Way Automata – Moshe Y. Vardi - 1998
6 Zero-One Laws For Modal Logic – Joseph Y. Halpern, Bruce Kapron - 1994
19 What is an Inference Rule? – Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi - 1992
20 Multiagent systems – Munindar P. Singh, Michael N. Huhns - 1994
1102 Temporal and modal logic – E. Allen Emerson - 1995
Synthesis of Winning Strategies for Interaction under Partial Information – Bernd Puchala
1 The Complexity of Regularity in Grammar Logics – Stéphane Demri
26 Once and For All – Orna Kupferman , Amir Pnueli , Moshe Y. Vardi - 2011