Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 75
Volume 75, Number 1, October 2003
- Wiebe van der Hoek, Michael J. 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 J. 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-29 23:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
