default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Non-Classical Logics, Volume 17
Volume 17, Number 1, 2007
- Guillaume Aucher:
Interpreting an action from what we perceive and what we expect. 9-38 - Philippe Balbiani
, Tinko Tinchev, Dimiter Vakarelov:
Dynamic logics of the region-based theory of discrete spaces. 39-61 - 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
- Hans van Ditmarsch, Andreas Herzig:
Foreword. 125-128 - Johan van Benthem:
Dynamic logic for belief revision. 129-155 - Johan van Benthem, Fenrong Liu:
Dynamic logic of preference upgrade. 157-182 - John Cantwell:
A model for updates in a multi-agent setting. 183-196 - Jelle Gerbrandy:
Communication strategies in games. 197-211 - Patrick 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 - Floris Roelofsen:
Distributed knowledge. 255-273
Volume 17, Number 3, 2007
- Tatiana Yavorskaya, Natalia Rubtsova:
Operations on proofs and labels. 283-316 - 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 - Vladimir V. Rybakov:
Logics with the universal modality and admissible consecutions. 383-396 - Ilya Shapirovsky:
Modal logics of closed domains on Minkowski plane. 397-414
Volume 17, Number 4, 2007
- Wojciech Jamroga, Thomas Ågotnes:
Constructive knowledge: what agents can achieve under imperfect information. 423-475 - Paul E. Dunne, Wiebe van der Hoek, Michael J. Wooldridge:
A logical characterisation of qualitative coalitional games. 477-509 - Joanna Golinska-Pilarek:
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI. 511-519 - Torben Braüner:
Why does the proof-theory of hybrid logic work so well? 521-543
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 2026-05-18 23:26 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:
