• 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 22 matches

• 2007
• 
  Guillaume Aucher:
  Interpreting an action from what we perceive and what we expect. J. Appl. Non Class. Logics 17(1): 9-38 (2007)
• 
  Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov:
  Dynamic logics of the region-based theory of discrete spaces. J. Appl. Non Class. Logics 17(1): 39-61 (2007)
• 
  Johan van Benthem:
  Dynamic logic for belief revision. J. Appl. Non Class. Logics 17(2): 129-155 (2007)
• 
  Johan van Benthem, Fenrong Liu:
  Dynamic logic of preference upgrade. J. Appl. Non Class. Logics 17(2): 157-182 (2007)
• 
  Torben Braüner:
  Why does the proof-theory of hybrid logic work so well? J. Appl. Non Class. Logics 17(4): 521-543 (2007)
• 
  John Cantwell:
  A model for updates in a multi-agent setting. J. Appl. Non Class. Logics 17(2): 183-196 (2007)
• 
  Hans van Ditmarsch, Andreas Herzig:
  Foreword. J. Appl. Non Class. Logics 17(2): 125-128 (2007)
• 
  Paul E. Dunne, Wiebe van der Hoek, Michael J. Wooldridge:
  A logical characterisation of qualitative coalitional games. J. Appl. Non Class. Logics 17(4): 477-509 (2007)
• 
  Jelle Gerbrandy:
  Communication strategies in games. J. Appl. Non Class. Logics 17(2): 197-211 (2007)
• 
  Patrick Girard:
  From onions to broccoli: generalizing Lewis' counterfactual logic. J. Appl. Non Class. Logics 17(2): 213-229 (2007)
• 
  Joanna Golinska-Pilarek:
  Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI. J. Appl. Non Class. Logics 17(4): 511-519 (2007)
• 
  Wojciech Jamroga, Thomas Ågotnes:
  Constructive knowledge: what agents can achieve under imperfect information. J. Appl. Non Class. Logics 17(4): 423-475 (2007)
• 
  Norihiro Kamide:
  Towards a theory of resource: an approach based on soft exponentials. J. Appl. Non Class. Logics 17(1): 63-89 (2007)
• 
  Barteld P. Kooi:
  Expressivity and completeness for public update logics via reduction axioms. J. Appl. Non Class. Logics 17(2): 231-253 (2007)
• 
  S. Mardaev:
  Definable fixed points in modal and temporal logics : A survey. J. Appl. Non Class. Logics 17(3): 317-346 (2007)
• 
  Floris Roelofsen:
  Distributed knowledge. J. Appl. Non Class. Logics 17(2): 255-273 (2007)
• 
  A. Romanov:
  De Jongh and Glivenko theorems for equality theories. J. Appl. Non Class. Logics 17(3): 347-358 (2007)
• 
  Mikhail N. Rybakov:
  Complexity of finite-variable fragments M of EXPTIME-complete logics. J. Appl. Non Class. Logics 17(3): 359-382 (2007)
• 
  Vladimir V. Rybakov:
  Logics with the universal modality and admissible consecutions. J. Appl. Non Class. Logics 17(3): 383-396 (2007)
• 
  Ilya Shapirovsky:
  Modal logics of closed domains on Minkowski plane. J. Appl. Non Class. Logics 17(3): 397-414 (2007)
• 
  Miroslaw Szatkowski:
  Contingent modal semantics for some variants of Anderson-like ontological proofs. J. Appl. Non Class. Logics 17(1): 91-114 (2007)
• 
  Tatiana Yavorskaya, Natalia Rubtsova:
  Operations on proofs and labels. J. Appl. Non Class. Logics 17(3): 283-316 (2007)