default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Non-Classical Logics, Volume 21
Volume 21, Number 1, 2011
- Valentin Goranko, Wojciech Jamroga
:
Foreword. 7-8 - Thomas Bolander, Mikkel Birkegaard Andersen:
Epistemic planning for single and multi-agent systems. 9-34 - Samuel Bucheli, Roman Kuznets, Thomas Studer:
Justifications for common knowledge. 35-60 - Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas:
Converse-PDL with regular inclusion axioms: a framework for MAS logics. 61-91 - Dimitar P. Guelev, Catalin Dima, Constantin Enea:
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. 93-131
Volume 21, Number 2, 2011
- Philippe Balbiani:
Axiomatization and completeness of lexicographic products of modal logics. 141-176 - Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
Dual tableau-based decision procedures for relational logics with restricted composition operator. 177-200 - Dale Jacquette:
Some monkey devours every raisin. 201-209 - Jan Maluszynski, Andrzej Szalas:
Logical foundations and complexity of 4QL, a query language with unrestricted negation. 211-232 - Paola Villa:
KALC : a constructive semantics for ALC. 233-255
Volume 21, Numbers 3-4, 2011
- Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek:
Foreword. 263-264 - Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica:
Question-answer games. 265-288 - Guillaume Aucher:
DEL-sequents for progression. 289-321 - Ido Ben-Zvi, Yoram Moses:
On interactive knowledge with bounded communication. 323-354 - Franklin Camacho, Ramón Pino Pérez:
Dominance plausible rule and transitivity. 355-373 - Lorenz Demey:
Some remarks on the model theory of epistemic plausibility models. 375-395 - Jan van Eijck, Floor Sietsma, Yanjing Wang:
Composing models. 397-425 - Konstantinos Georgatos:
Updating knowledge using subsets. 427-441 - Emiliano Lorini:
From self-regarding to other-regarding agents in strategic games: a logical analysis. 443-475 - B. Rodenhäuser:
A logic for extensional protocols. 477-502 - Sara L. Uckelman:
Deceit and indefeasible knowledge: the case of dubitatio. 503-519
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 2024-12-27 21:29 CET 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:
