Journal of Applied Non-Classical Logics, Volume 21
Volume 21, Number 1, 2011
- Thomas Bolander, Mikkel Birkegaard Andersen: Epistemic planning for single and multi-agent systems. 9-34
- 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
- Thomas Ågotnes, Johan van Benthem, Hans P. van Ditmarsch, Stefan Minica: Question-answer games. 265-288
- Guillaume Aucher: DEL-sequents for progression. 289-321
- Lorenz Demey: Some remarks on the model theory of epistemic plausibility models. 375-395
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-31T181706 by the dblp team