|
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
|
|
15
|
BDD-Based Decision Procedures for the Modal Logic K
– Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
- 2005
|
|
209
|
Reasoning about Infinite Computations
– Moshe Y. Vardi, Pierre Wolper
- 1994
|
|
5
|
Alternating automata: Checking truth and validity for temporal logics
– Moshe Y. Vardi
- 1997
|
|
61
|
Module Checking
– Orna Kupferman, Moshe Y. Vardi
- 1996
|
|
3
|
On the unusual effectiveness of Logic in computer science
– Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis
|
|
2
|
Enhanced vacuity detection in linear temporal logic
– Alon Flaisher
- 2004
|
|
104
|
Reasoning about The Past with Two-Way Automata
– Moshe Y. Vardi
- 1998
|
|
5
|
Zero-One Laws For Modal Logic
– Joseph Y. Halpern, Bruce Kapron
- 1994
|
|
17
|
What is an Inference Rule?
– Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
- 1992
|
|
16
|
Intentions for Multiagent Systems
– Munindar P. Singh
- 1993
|
|
1009
|
Temporal and modal logic
– E. Allen Emerson
- 1995
|
|
1
|
The Complexity of Regularity in Grammar Logics
– Stéphane Demri
|
|
18
|
Alternating Automata and Program Verification
– Moshe Y. Vardi
- 1995
|
|
50
|
Verification on Infinite Structures
– Olaf Burkart, Didier Caucal, Faron Moller, Bernhard Steffen
- 2000
|
|
10
|
Navigation in Hypertext is Easy Only Sometimes
– Mark Levene, George Loizou
- 1999
|
|
13
|
Reasoning About Knowledge: A Survey
– Joseph Y. Halpern
- 1995
|
|
12
|
How to Define a Linear Order on Finite Models
– Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
- 1997
|
