- Rohit Parikh:
Some Puzzles About Probability and Probabilistic Conditionals. LFCS 2007: 449-456 - André Platzer:
A Temporal Dynamic Logic for Verifying Hybrid System Invariants. LFCS 2007: 457-471 - Brian F. Redmond:
Multiplexor Categories and Models of Soft Linear Logic. LFCS 2007: 472-485 - Vladimir V. Rybakov:
Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. LFCS 2007: 486-497 - David Steiner, Thomas Studer:
Total Public Announcements. LFCS 2007: 498-511 - Sergei N. Artëmov, Anil Nerode:
Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. Lecture Notes in Computer Science 4514, Springer 2007, ISBN 978-3-540-72732-3 [contents]