Journal Article
The semantics of Hoare's Iteration Rule
Robert Goldblatt
Studia Logica, 1982, Volume 41, Numbers 2-3, Pages 141-158
Book Chapter
The hidden function question revisited
Arno Schönegge
Lecture Notes in Computer Science, 1997, Volume 1349, Algebraic Methodology and Software Technology, Pages 451-464
Journal Article
On decidability and model checking for a first order modal logic for value-passing processes
Rui Xue and Huimin Lin
Science in China Series F: Information Sciences, 2003, Volume 46, Number 1, Pages 45-59
Book Chapter
∏
2 ∩
Σ
2 ≡
AFMC
Orna Kupferman and Moshe Y. Vardi
Lecture Notes in Computer Science, 2003, Volume 2719, Automata, Languages and Programming, Page 191
Journal Article
Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds
Maarten Marx
Studia Logica, 2002, Volume 72, Number 2, Pages 233-252
Book Chapter
Kleene algebra with tests: Completeness and decidability
Dexter Kozen and Frederick Smith
Lecture Notes in Computer Science, 1997, Volume 1258, Computer Science Logic, Pages 244-259
Book Chapter
Process logics : two decidability results
Z. Habasiński
Lecture Notes in Computer Science, 1984, Volume 176, Mathematical Foundations of Computer Science 1984, Pages 282-290
Book Chapter
On the UNITY design decisions
Beverly Sanders
Lecture Notes in Computer Science, 1992, Volume 574, Reasearch Directions in High-Level Parallel Programming Languages, Pages 50-63
Book Chapter
On Logics of Aliasing
Marius Bozga, Radu Iosif and Yassine Lakhnech
Lecture Notes in Computer Science, 2004, Volume 3148, Static Analysis, Pages 47-182
Book Chapter
Branching time temporal logic
E. Allen Emerson and Jai Srinivasan
Lecture Notes in Computer Science, 1989, Volume 354, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Pages 123-172