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