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

• 2022
• 
  Yanjing Wang, Yunsong Wang, Haoyu Wang:
  An Epistemic Interpretation of Tensor Disjunction. AiML 2022: 719-739
• 
  Anupam Das, Sonia Marin:
  Modal logic and the polynomial hierarchy: from QBFs to K and back. AiML 2022: 329-348
• 
  Matteo Acclavio, Lutz Straßburger:
  Combinatorial Proofs for Constructive Modal Logic. AiML 2022: 15-36
• 
  Ruba Alassaf, Renate A. Schmidt, Uli Sattler:
  Saturation-Based Uniform Interpolation for Multi-Modal Logics. AiML 2022: 37-57
• 
  Guillermo Badia, Tomasz Kowalski, Daniel Gaina:
  Robinson consistency in many-sorted hybrid first-order logics. AiML 2022: 407-428
• 
  Philippe Balbiani, Saúl Fernández González:
  Parametrized modal logic I: An introduction. AiML 2022: 97-117
• 
  Philippe Balbiani, Quentin Gougeon:
  Projective unification through duality. AiML 2022: 119-134
• 
  Balder ten Cate, Raoul Koudijs, Johan van Benthem:
  Local Dependence and Guarding. AiML 2022: 135-154
• 
  Ahmee Christensen:
  Completeness for an Intuitionistic Modal Logic of Vagueness. AiML 2022: 177-197
• 
  Ivano Ciardelli:
  Describing neighborhoods in inquisitive modal logic. AiML 2022: 217-236
• 
  Willem Conradie:
  On parametric phenomena in correspondence theory. AiML 2022: 3-6
• 
  Willem Conradie, Mattia Panettiere:
  Modal inverse correspondence via ALBA. AiML 2022: 259-280
• 
  Tiziano Dalmonte:
  Wijesekera-style constructive modal logics. AiML 2022: 281-303
• 
  Tiziano Dalmonte, Marianna Girlando:
  Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. AiML 2022: 305-327
• 
  Andrea De Domenico, Giuseppe Greco:
  Algorithmic correspondence and analytic rules. AiML 2022: 371-389
• 
  Nicolas Fröhlich, Arne Meier:
  Submodel Enumeration of Kripke Structures in Modal Logic. AiML 2022: 391-406
• 
  Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch:
  A New Hope. AiML 2022: 349-369
• 
  Gianluca Grilletti:
  Medvedev logic is the logic of finite distributive lattices without top element. AiML 2022: 451-466
• 
  Jim de Groot:
  Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. AiML 2022: 467-489
• 
  Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza:
  A multi-modal logic for Galois connections. AiML 2022: 155-176
• 
  Robin Hirsch, Brett McLean:
  EXPTIME-hardness of higher-dimensional Minkowski spacetime. AiML 2022: 491-505
• 
  Wesley H. Holliday:
  Non-classical modal logic for natural language. AiML 2022: 7-8
• 
  Wesley H. Holliday:
  Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics. AiML 2022: 507-529
• 
  Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai:
  Uniform Lyndon interpolation for intuitionistic monotone modal logic. AiML 2022: 77-96
• 
  Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski:
  Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML 2022: 531-556
• 
  Guillaume Massas:
  Choice-Free de Vries Duality. AiML 2022: 557-577
• 
  George Metcalfe, Naomi Tokuda, Petr Cintula:
  Algebraic Semantics for One-Variable Lattice-Valued Logics. AiML 2022: 237-258
• 
  Satoru Niki:
  Intuitionistic Modality and Beth Semantics. AiML 2022: 579-599
• 
  Hiroakira Ono, Katsuhiko Sano:
  Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. AiML 2022: 601-623
• 
  Eugenio Orlandelli, Matteo Tesi:
  Labelled sequent calculi for logics of strict implication. AiML 2022: 625-641

skipping 10 more matches