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

• 2017
• 
  Farshad Badie:
  From Concepts to Predicates Within Constructivist Epistemology. LORI 2017: 687-692
• 
  Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün:
  Quotient Dynamics: The Logic of Abstraction. LORI 2017: 181-194
• 
  Alexandru Baltag, Andrés Occhipinti Liberman:
  Evidence Logics with Relational Evidence. LORI 2017: 17-32
• 
  Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval:
  Topo-Logic as a Dynamic-Epistemic Logic. LORI 2017: 330-346
• 
  Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist:
  A Propositional Dynamic Logic for Instantial Neighborhood Models. LORI 2017: 137-150
• 
  Annemarie Borg, Daniel Frey, Dunja Seselja, Christian Straßer:
  Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry. LORI 2017: 391-406
• 
  Christophe Chareton, Hans van Ditmarsch:
  Strategic Knowledge of the Past in Quantum Cryptography. LORI 2017: 347-361
• 
  Jinsheng Chen, Minghui Ma:
  Labelled Sequent Calculus for Inquisitive Logic. LORI 2017: 526-540
• 
  Zoé Christoff, Davide Grossi:
  Stability in Binary Opinion Diffusion. LORI 2017: 166-180
• 
  Eugene Chua:
  An Empirical Route to Logical 'Conventionalism'. LORI 2017: 631-636
• 
  Ivano Ciardelli:
  The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities. LORI 2017: 240-255
• 
  Giovanni Ciná:
  A Characterization Theorem for Trackable Updates. LORI 2017: 94-107
• 
  Petr Cintula, Carles Noguera, Nicholas J. J. Smith:
  A Logical Framework for Graded Predicates. LORI 2017: 3-16
• 
  Roberto Ciuni:
  Conditional Doxastic Logic with Oughts and Concurrent Upgrades. LORI 2017: 299-313
• 
  Michael Cohen:
  A Note on Belief, Question Embedding and Neg-Raising. LORI 2017: 648-652
• 
  Esther Anna Corsi, Christian G. Fermüller:
  Logical Argumentation Principles, Sequents, and Nondeterministic Matrices. LORI 2017: 422-437
• 
  Marc-Kevin Daoust, David P. Montminy:
  Testing Minimax for Rational Ignorant Agents. LORI 2017: 541-553
• 
  Huimin Dong, Olivier Roy:
  Dynamic Logic of Power and Immunity. LORI 2017: 123-136
• 
  Jie Fan:
  Distributed Knowledge Whether - (Extended Abstract). LORI 2017: 643-647
• 
  Rohan French, Shawn Standefer:
  Non-triviality Done Proof-Theoretically. LORI 2017: 438-450
• 
  Yosuke Fukuda, Ryosuke Igarashi:
  A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction. LORI 2017: 554-569
• 
  Paolo Galeazzi, Zoi Terzopoulou:
  Relief Maximization and Rationality. LORI 2017: 670-675
• 
  Konstantinos Georgatos:
  Multi-agent Belief Revision Using Multisets. LORI 2017: 466-479
• 
  Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
  Rational Coordination with no Communication or Conventions. LORI 2017: 33-48
• 
  Guifei Jiang, Laurent Perrussel, Dongmo Zhang:
  On Axiomatization of Epistemic GDL. LORI 2017: 598-613
• 
  Fengkui Ju, Gianluca Grilletti:
  A Dynamic Approach to Temporal Normative Logic. LORI 2017: 512-525
• 
  Norihiro Kamide, Hitoshi Omori:
  An Extended First-Order Belnap-Dunn Logic with Classical Negation. LORI 2017: 79-93
• 
  Andreas Kapsner, Hitoshi Omori:
  Counterfactuals in Nelson Logic. LORI 2017: 497-511
• 
  Dominik Klein, Rasmus K. Rendsvig:
  Convergence, Continuity and Recurrence in Dynamic Epistemic Logic. LORI 2017: 108-122
• 
  Alexander W. Kocurek:
  On the Concept of a Notational Variant. LORI 2017: 284-298

skipping 24 more matches