• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 21 matches

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