Studia Logica
, Volume 75
Volume 75, Number 1, October 2003
Wiebe van der Hoek
,
Michael Wooldridge
:
Preface.
3-5
Giacomo Bonanno
:
Memory of Past Beliefs and Actions.
7-30
Hans P. van Ditmarsch
:
The Russian Cards Problem.
31-62
Alessio Lomuscio
,
Marek J. Sergot
:
Deontic Interpreted Systems.
63-92
Ron van der Meyden
,
Ka-Shu Wong
:
Complete Axiomatizations for Reasoning about Knowledge and Branching Time.
93-123
Wiebe van der Hoek
,
Michael Wooldridge
:
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications.
125-157
Volume 75, Number 2, November 2003
Marc Pauly
,
Rohit Parikh
:
Editorial Introduction.
163-164
Marc Pauly
,
Rohit Parikh
:
Game Logic - An Overview.
165-182
Johan van Benthem
:
Logic Games are Complete for Game Logics.
183-203
Dietmar Berwanger
:
Game Logic is Strong Enough for Parity Games.
205-219
Valentin Goranko
:
The Basic Algebra of Game Equivalences.
221-238
Yde Venema
:
Representation of Game Algebras.
239-256
Volume 75, Number 3, December 2003
Brian A. Davey
,
John C. Galati
:
A Coalgebraic View of Heyting Duality.
259-270
Michela Sabbadin
,
Alberto Zanardo
:
Topological Aspects of Branching-Time Semantics.
271-286
Athanassios Tzouvaras
:
The Logic of Multisets Continued: The Case of Disjunction.
287-304
Ramon Jansana
:
Leibniz Filters Revisited.
305-317
Cezary Cieslinski
:
Löb's Theorem in a Set Theoretical Setting.
319-326
Johan van Benthem
,
Guram Bezhanishvili
,
Mai Gehrke
:
Euclidean Hierarchy in Modal Logic.
327-344
Andrzej Indrzejczak
:
A Labelled Natural Deduction System for Linear Temporal Logic.
345-376
Robert Saxon Milnikel
:
Embedding Modal Nonmonotonic Logics into Default Logic.
377-382
Bart Van Kerkhove
,
Guido Vanackere
:
Vagueness-Adaptive Logic: A Pragmatical Approach to Sorites Paradoxes.
383-411
M. Randall Holmes
:
Karel Lambert, Free Logic: Selected Essays.
413-419
Last update Wed May 22 18:20:49 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page