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

• 2019
• 
  Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Sanjay Modgil:
  Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. LORI 2019: 355-369
• 
  Kees van Berkel, Tim Lyon:
  A Neutral Temporal Deontic STIT Logic. LORI 2019: 340-354
• 
  Alexandru Baltag, Dazhu Li, Mina Young Pedersen:
  On the Right Path: A Modal Logic for Supervised Learning. LORI 2019: 1-14
• 
  Jake Chandler, Richard Booth:
  Elementary Iterated Revision and the Levi Identity. LORI 2019: 15-28
• 
  Ivano Ciardelli, Fausto Barbero:
  Undefinability in Inquisitive Logic with Tensor. LORI 2019: 29-42
• 
  Ivano Ciardelli, Xinghan Liu:
  Minimal-Change Counterfactuals in Intuitionistic Logic. LORI 2019: 43-56
• 
  Huimin Dong, Beishui Liao, Réka Markovich, Leendert W. N. van der Torre:
  From Classical to Non-monotonic Deontic Logic Using ASPIC⁺. LORI 2019: 71-85
• 
  Ivo Düntsch, Ewa Orlowska:
  A Discrete Representation of Lattice Frames. LORI 2019: 86-97
• 
  Paolo Galeazzi, Rasmus K. Rendsvig, Marija Slavkovik:
  Improving Judgment Reliability in Social Networks via Jury Theorems. LORI 2019: 230-243
• 
  Rustam Galimullin, Thomas Ågotnes, Natasha Alechina:
  Group Announcement Logic with Distributed Knowledge. LORI 2019: 98-111
• 
  Valentin Goranko, Fengkui Ju:
  Towards a Logic for Conditional Local Strategic Reasoning. LORI 2019: 112-125
• 
  Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng:
  Who Should Be My Friends? - Social Balance from the Perspective of Game Theory. LORI 2019: 370-384
• 
  Yanjun Li, Yanjing Wang:
  Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach. LORI 2019: 126-139
• 
  Andrés Occhipinti Liberman, Rasmus K. Rendsvig:
  Dynamic Term-Modal Logic for Epistemic Social Network Dynamics. LORI 2019: 168-182
• 
  Kaiyang Lin, Zhe Lin:
  The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics. LORI 2019: 140-152
• 
  Jixin Liu, Yanjing Wang, Yifeng Ding:
  Weakly Aggregative Modal Logic: Characterization and Interpolation. LORI 2019: 153-167
• 
  Mina Young Pedersen, Sonja Smets, Thomas Ågotnes:
  Analyzing Echo Chambers: A Logic of Strong and Weak Ties. LORI 2019: 183-198
• 
  Elise Perrotin, Rustam Galimullin, Quentin Canu, Natasha Alechina:
  Public Group Announcements and Trust in Doxastic Logic. LORI 2019: 199-213
• 
  Carlo Proietti, Davide Grossi, Sonja Smets, Fernando R. Velázquez-Quesada:
  Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes. LORI 2019: 214-229
• 
  Yuri David Santos:
  Consolidation of Belief in Two Logics of Evidence. LORI 2019: 57-70
• 
  Takahiro Sawasaki, Katsuhiko Sano, Tomoyuki Yamada:
  Term-Sequence-Modal Logics. LORI 2019: 244-258
• 
  Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie:
  A Logical and Empirical Study of Right-Nested Counterfactuals. LORI 2019: 259-272
• 
  Igor Sedlár, Vít Puncochár, Andrew Tedder:
  First Degree Entailment with Group Attitudes and Information Updates. LORI 2019: 273-285
• 
  Chenwei Shi:
  Knowledge in Topological Argumentation Models. LORI 2019: 286-296
• 
  Anthia Solaki, Fernando R. Velázquez-Quesada:
  Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks. LORI 2019: 297-312
• 
  Pengfei Song, Wei Xiong:
  A Two-Layer Partition Awareness Structure. LORI 2019: 313-325
• 
  Youan Su, Katsuhiko Sano:
  First-Order Intuitionistic Epistemic Logic. LORI 2019: 326-339
• 
  Xinyu Wang:
  Epistemic Logic with Partial Dependency Operator. LORI 2019: 385-398
• 
  Xun Wang:
  A Logic of Knowing How with Skippable Plans. LORI 2019: 413-424
• 
  Xinyu Wang, Yanjing Wang:
  Knowledge-Now and Knowledge-All. LORI 2019: 399-412

skipping 2 more matches