Volume 17, Number 1, 2007
: Interpreting an action from what we perceive and what we expect.
: Towards a theory of resource: an approach based on soft exponentials.
: Contingent modal semantics for some variants of Anderson-like ontological proofs.
Volume 17, Number 2, 2007
: A model for updates in a multi-agent setting.
: From onions to broccoli: generalizing Lewis' counterfactual logic.
Barteld P. Kooi
: Expressivity and completeness for public update logics via reduction axioms.
Volume 17, Number 3, 2007
: Definable fixed points in modal and temporal logics : A survey.
: De Jongh and Glivenko theorems for equality theories.
Mikhail N. Rybakov
: Complexity of finite-variable fragments M of EXPTIME-complete logics.
Volume 17, Number 4, 2007
: Why does the proof-theory of hybrid logic work so well?