Journal of Applied Non-Classical Logics, Volume 21

> Home > Journals > Journal of Applied Non-Classical Logics

Volume 21, Number 1, 2011

- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/GorankoJ11
- ask others
Valentin Goranko, Wojciech Jamroga:
Foreword. 7-8
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/BolanderA11
- ask others
Thomas Bolander, Mikkel Birkegaard Andersen:
Epistemic planning for single and multi-agent systems. 9-34
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/BucheliKS11
- ask others
Samuel Bucheli, Roman Kuznets, Thomas Studer:
Justifications for common knowledge. 35-60
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/Dunin-KepliczNS11
- ask others
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas:
Converse-PDL with regular inclusion axioms: a framework for MAS logics. 61-91
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/GuelevDE11
- ask others
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

- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/Balbiani11
- ask others
Philippe Balbiani:
Axiomatization and completeness of lexicographic products of modal logics. 141-176
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/CantoneAO11
- ask others
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
Dual tableau-based decision procedures for relational logics with restricted composition operator. 177-200
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/Jacquette11
- ask others
Dale Jacquette:
Some monkey devours every raisin. 201-209
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/MaluszynskiS11
- ask others
Jan Maluszynski, Andrzej Szalas:
Logical foundations and complexity of 4QL, a query language with unrestricted negation. 211-232
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/Villa11
- ask others
Paola Villa:
KALC : a constructive semantics for ALC. 233-255

Volume 21, Numbers 3-4, 2011

- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/BonannoHLH11
- ask others
Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek:
Foreword. 263-264
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/AgotnesBDM11
- ask others
Thomas Ågotnes, Johan van Benthem, Hans P. van Ditmarsch, Stefan Minica:
Question-answer games. 265-288
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/Aucher11
- ask others
Guillaume Aucher:
DEL-sequents for progression. 289-321
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/Ben-ZviM11
- ask others
Ido Ben-Zvi, Yoram Moses:
On interactive knowledge with bounded communication. 323-354
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/CamachoP11
- ask others
Franklin Camacho, Ramón Pino Pérez:
Dominance plausible rule and transitivity. 355-373
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/Demey11
- ask others
Lorenz Demey:
Some remarks on the model theory of epistemic plausibility models. 375-395
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/EijckSW11
- ask others
Jan van Eijck, Floor Sietsma, Yanjing Wang:
Composing models. 397-425
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/Georgatos11
- ask others
Konstantinos Georgatos:
Updating knowledge using subsets. 427-441
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/Lorini11
- ask others
Emiliano Lorini:
From self-regarding to other-regarding agents in strategic games: a logical analysis. 443-475
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/Rodenhauser11
- ask others
B. Rodenhäuser:
A logic for extensional protocols. 477-502
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jancl/Uckelman11
- ask others
Sara L. Uckelman:
Deceit and indefeasible knowledge: the case of dubitatio. 503-519