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

• 2023
• 
  Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere:
  Labelled Calculi for Lattice-Based Modal Logics. ICLA 2023: 23-47
• 
  Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere:
  Labelled Calculi for the Logics of Rough Concepts. ICLA 2023: 172-188
• 
  Mihir Kumar Chakraborty:
  A Note on the Ontology of Mathematics. ICLA 2023: 1-10
• 
  Supratik Chakraborty:
  Boolean Functional Synthesis: From Under the Hood of Solvers. ICLA 2023: 11-22
• 
  Qian Chen, Minghui Ma:
  Modal Logic of Generalized Separated Topological Spaces. ICLA 2023: 92-104
• 
  Fan He:
  Multiple-Valued Semantics for Metric Temporal Logic. ICLA 2023: 105-116
• 
  Jeny Jacob, Manoj Changat:
  Segment Transit Function of the Induced Path Function of Graphs and Its First-Order Definability. ICLA 2023: 117-129
• 
  Sandra Müller:
  Determinacy Axioms and Large Cardinals. ICLA 2023: 68-78
• 
  Bornali Paul, Sandip Paul:
  Fuzzy Free Logic with Dual Domain Semantics. ICLA 2023: 130-142
• 
  R. Ramanujam:
  Big Ideas from Logic for Mathematics and Computing Education. ICLA 2023: 79-91
• 
  Manidipa Sanyal, Prabal Kumar Sen:
  A New Dimension of Imperative Logic. ICLA 2023: 143-158
• 
  Masiur Rahaman Sardar:
  Quasi-Boolean Based Models in Rough Set Theory: A Case of Covering. ICLA 2023: 159-171
• 
  Shikha Singh, Kamal Lodaya, Deepak Khemani:
  Two Ways to Scare a Gruffalo. ICLA 2023: 48-67
• 
  Hao Wu, Minghui Ma:
  An Infinity of Intuitionistic Connexive Logics. ICLA 2023: 189-206
• 
  Hao Wu, Minghui Ma:
  Relational Semantics for Normal Topological Quasi-Boolean Logic. ICLA 2023: 207-221
• 
  Mohua Banerjee, A. V. Sreejith:
  Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings. Lecture Notes in Computer Science 13963, Springer 2023, ISBN 978-3-031-26688-1 [contents]
• 2019
• 
  Jasine Babu, Karunakaran Murali Krishnan, Vineeth Paleri:
  A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks. ICLA 2019: 160-172
• 
  Philippe Balbiani:
  Unification in Modal Logic. ICLA 2019: 1-5
• 
  Cezary Cieslinski:
  Satisfaction Classes via Cut Elimination. ICLA 2019: 121-131
• 
  Tim French, Andrew Gozzard, Mark Reynolds:
  A Modal Aleatoric Calculus for Probabilistic Reasoning. ICLA 2019: 52-63
• 
  Michal Tomasz Godziszewski, Rafal Urbaniak:
  Infinite Liar in a (Modal) Finitistic Setting. ICLA 2019: 18-29
• 
  Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis:
  Logics for Rough Concept Analysis. ICLA 2019: 144-159
• 
  Martin Lange:
  Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results. ICLA 2019: 42-51
• 
  Zhe Lin, Mihir Kumar Chakraborty:
  The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5. ICLA 2019: 30-41
• 
  Yoshiki Nakamura:
  The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation. ICLA 2019: 108-120
• 
  Anantha Padmanabha, R. Ramanujam:
  Propositional Modal Logic with Implicit Modal Quantification. ICLA 2019: 6-17
• 
  Rohit Parikh:
  Logic Without Language. ICLA 2019: 173-182
• 
  Ian Pratt-Hartmann:
  Transitivity and Equivalence in Decidable Fragments of First-Order Logic: A Survey. ICLA 2019: 103-107
• 
  Mike Prest:
  Model Theory for Sheaves of Modules. ICLA 2019: 89-102
• 
  Abhisekh Sankaran:
  Revisiting the Generalized Łoś-Tarski Theorem. ICLA 2019: 76-88

skipping 100 more matches