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 - Jan Maluszynski, Andrzej Szalas:
Logical foundations and complexity of 4QL, a query language with unrestricted negation. 211-232
Volume 21, Numbers 3-4, 2011
- Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica:
Question-answer games. 265-288 - Emiliano Lorini:
From self-regarding to other-regarding agents in strategic games: a logical analysis. 443-475