The Concurrent, Continuous Fluent Calculus
Mid-Sized Axiomatizations of Commonsense Problems
A Trajectory Approach to Causality
Prolegomena to Concise Theories of Action
Realization for Causal Nondeterministic Input-Output Systems
Contents of Volume 67
Trends in Logic