Volume 17, Number 1, 2007
Guillaume Aucher:
Interpreting an action from what we perceive and what we expect.
9-38
Norihiro Kamide:
Towards a theory of resource: an approach based on soft exponentials.
63-89
Miroslaw Szatkowski:
Contingent modal semantics for some variants of Anderson-like ontological proofs.
91-114
Volume 17, Number 2, 2007
John Cantwell:
A model for updates in a multi-agent setting.
183-196
P. Girard:
From onions to broccoli: generalizing Lewis' counterfactual logic.
213-229
Barteld P. Kooi:
Expressivity and completeness for public update logics via reduction axioms.
231-253
Volume 17, Number 3, 2007
S. Mardaev:
Definable fixed points in modal and temporal logics : A survey.
317-346
A. Romanov:
De Jongh and Glivenko theorems for equality theories.
347-358
Mikhail N. Rybakov:
Complexity of finite-variable fragments M of EXPTIME-complete logics.
359-382
Volume 17, Number 4, 2007
Torben Braüner:
Why does the proof-theory of hybrid logic work so well?
521-543
data released under the ODC-BY 1.0 license
