Volume 18, Number 1, January 2009
Logics for Resource Bounded Agents
: Diversity of Agents and Their Interaction.
: Epistemic Logic for Rule-Based Agents.
Volume 18, Number 2, April 2009
Volume 18, Number 3, July 2009
, José M. Méndez
: Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency.
: A New Theory of Quantifiers and Term Connectives.
Volume 18, Number 4, October 2009
Dedicated to the Memory of Volker Weber. Guest Editors:
Torben Braüner and Thomas Bolander
: Branching-Time Logics Repeatedly Referring to States.