• 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

• 2017
• 
  Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal:
  Temporal Equilibrium Logic with past operators. J. Appl. Non Class. Logics 27(3-4): 161-177 (2017)
• 
  Omar Alaqeeli, William Wadge:
  The monadic hybrid calculus. J. Appl. Non Class. Logics 27(1-2): 33-49 (2017)
• 
  Leila Amgoud, Philippe Besnard, Anthony Hunter:
  Foundations for a logic of arguments. J. Appl. Non Class. Logics 27(3-4): 178-195 (2017)
• 
  Philippe Balbiani, Çigdem Gencer:
  Unification in epistemic logics. J. Appl. Non Class. Logics 27(1-2): 91-105 (2017)
• 
  Philippe Balbiani, Çigdem Gencer:
  KD is nullary. J. Appl. Non Class. Logics 27(3-4): 196-205 (2017)
• 
  Mohua Banerjee, Didier Dubois, Lluís Godo, Henri Prade:
  On the relation between possibilistic logic and modal logics of belief and knowledge. J. Appl. Non Class. Logics 27(3-4): 206-224 (2017)
• 
  Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
  A multimodal logic for closeness. J. Appl. Non Class. Logics 27(3-4): 225-237 (2017)
• 
  Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce:
  A short biography of Luis Fariñas del Cerro. J. Appl. Non Class. Logics 27(3-4): 153-160 (2017)
• 
  Pedro Cabalar, David Pearce, Agustín Valverde:
  Stable reasoning. J. Appl. Non Class. Logics 27(3-4): 238-254 (2017)
• 
  Walter Carnielli, Mamede Lima-Marques:
  Society semantics and the logic way to collective intelligence. J. Appl. Non Class. Logics 27(3-4): 255-268 (2017)
• 
  Serenella Cerrito, Marta Cialdea Mayer, Robert Demolombe:
  Temporal abductive reasoning about biochemical reactions. J. Appl. Non Class. Logics 27(3-4): 269-291 (2017)
• 
  Antonio Frias Delgado:
  A note on Barcan formula. J. Appl. Non Class. Logics 27(3-4): 321-327 (2017)
• 
  Robert Demolombe:
  Trust and agency in the context of communication. J. Appl. Non Class. Logics 27(1-2): 140-151 (2017)
• 
  Robert Demolombe:
  Reasoning about trust and aboutness in the context of communication. J. Appl. Non Class. Logics 27(3-4): 292-303 (2017)
• 
  Ivo Düntsch, Ewa Orlowska, Tinko Tinchev:
  Mixed algebras and their logics. J. Appl. Non Class. Logics 27(3-4): 304-320 (2017)
• 
  Dimiter Georgiev:
  Definability in the class of all -frames - computability and complexity. J. Appl. Non Class. Logics 27(1-2): 1-26 (2017)
• 
  Andreas Herzig:
  Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. J. Appl. Non Class. Logics 27(3-4): 328-341 (2017)
• 
  Andreas Herzig, Emiliano Lorini, David Pearce:
  Preface. J. Appl. Non Class. Logics 27(1-2): 90 (2017)
• 
  Shota Motoura:
  A general framework for dynamic epistemic logic: towards canonical correspondences. J. Appl. Non Class. Logics 27(1-2): 50-89 (2017)
• 
  Daniele Porello:
  Judgement aggregation in non-classical logics. J. Appl. Non Class. Logics 27(1-2): 106-139 (2017)
• 
  Mateusz M. Radzki:
  On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz. J. Appl. Non Class. Logics 27(1-2): 27-32 (2017)
• 
  Dimiter Vakarelov:
  A mereotopology based on sequent algebras. J. Appl. Non Class. Logics 27(3-4): 342-364 (2017)