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

• 2007
• 
  Carlos Areces, Balder ten Cate:
  Hybrid logics. Handbook of Modal Logic 2007: 821-868
• 
  Sergei N. Artëmov:
  Modal logic in mathematics. Handbook of Modal Logic 2007: 927-969
• 
  Franz Baader, Carsten Lutz:
  Description logic. Handbook of Modal Logic 2007: 757-819
• 
  Patrick Blackburn, Johan van Benthem:
  Modal logic: a semantic perspective. Handbook of Modal Logic 2007: 1-84
• 
  Julian C. Bradfield, Colin Stirling:
  Modal mu-calculi. Handbook of Modal Logic 2007: 721-756
• 
  Torben Braüner, Silvio Ghilardi:
  First-order modal logic. Handbook of Modal Logic 2007: 549-620
• 
  Melvin Fitting:
  Modal proof theory. Handbook of Modal Logic 2007: 85-138
• 
  Valentin Goranko, Martin Otto:
  Model theory of modal logic. Handbook of Modal Logic 2007: 249-329
• 
  Ian M. Hodkinson, Mark Reynolds:
  Temporal logic. Handbook of Modal Logic 2007: 655-720
• 
  Wiebe van der Hoek, Marc Pauly:
  Modal logic for games and information. Handbook of Modal Logic 2007: 1077-1148
• 
  Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate A. Schmidt:
  Computational modal logic. Handbook of Modal Logic 2007: 181-245
• 
  Marcus Kracht:
  Modal consequence relations. Handbook of Modal Logic 2007: 491-545
• 
  Agi Kurucz:
  Combining modal logics. Handbook of Modal Logic 2007: 869-924
• 
  Sten Lindström, Krister Segerberg:
  Modal logic and philosophy. Handbook of Modal Logic 2007: 1149-1214
• 
  Maarten Marx:
  Complexity of modal logic. Handbook of Modal Logic 2007: 139-179
• 
  John-Jules Ch. Meyer, Frank Veltman:
  Intelligent agents and common sense reasoning. Handbook of Modal Logic 2007: 991-1029
• 
  Lawrence S. Moss, Hans-Jörg Tiede:
  Applications of modal logic in linguistics. Handbook of Modal Logic 2007: 1031-1076
• 
  Reinhard Muskens:
  Higher order modal logic. Handbook of Modal Logic 2007: 621-653
• 
  Moshe Y. Vardi:
  Automata-theoretic techniques for temporal reasoning. Handbook of Modal Logic 2007: 971-989
• 
  Yde Venema:
  Algebras and coalgebras. Handbook of Modal Logic 2007: 331-426
• 
  Frank Wolter, Michael Zakharyaschev:
  Modal decision problems. Handbook of Modal Logic 2007: 427-489
• 
  Preface. Handbook of Modal Logic 2007: xi-xxiii
• 
  Patrick Blackburn, J. F. A. K. van Benthem, Frank Wolter:
  Handbook of Modal Logic. Studies in logic and practical reasoning 3, North-Holland 2007, ISBN 978-0-444-51690-9 [contents]