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

• 2020
• 
  Jonas Forster, Lutz Schröder:
  Non-Iterative Modal Logics Are Coalgebraic. AiML 2020: 229-248
• 
  Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
  Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. CoRR abs/2005.05578 (2020)
• 
  Jonas Forster, Lutz Schröder:
  Non-iterative Modal Logics are Coalgebraic. CoRR abs/2006.05396 (2020)
• 
  Clemens Kupke, Dirk Pattinson, Lutz Schröder:
  Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. CoRR abs/2009.00971 (2020)
• 
  Tao Gu, Fabio Zanasi:
  Coalgebraic Semantics for Probabilistic Logic Programming. CoRR abs/2012.03916 (2020)
• 
  Chun-Yu Lin, Churn-Jung Liau:
  On Coalgebraic Many-Valued Modal Logic. CoRR abs/2012.05604 (2020)
• 2019
• 
  Roberto Bruni, Ugo Montanari, Giorgio Mossa:
  A Coalgebraic Approach to Unification Semantics of Logic Programming. The Art of Modelling Computational Systems 2019: 223-240
• 
  Nick Bezhanishvili, Jim de Groot, Yde Venema:
  Coalgebraic Geometric Logic. CALCO 2019: 7:1-7:18
• 
  Tao Gu, Fabio Zanasi:
  A Coalgebraic Perspective on Probabilistic Logic Programming. CALCO 2019: 10:1-10:21
• 2018
• 
  Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder:
  Model Theory and Proof Theory of Coalgebraic Predicate Logic. Log. Methods Comput. Sci. 14(1) (2018)
• 
  Lutz Schröder, Yde Venema:
  Completeness of Flat Coalgebraic Fixpoint Logics. ACM Trans. Comput. Log. 19(1): 4:1-4:34 (2018)
• 
  Clemens Kupke:
  Coalgebraic Logics & Duality. CMCS 2018: 6-12
• 
  Fredrik Dahlqvist, Alexander Kurz:
  The positivication of coalgebraic logics. CoRR abs/1812.07288 (2018)
• 2017
• 
  Fredrik Dahlqvist, David J. Pym:
  Coalgebraic completeness-via-canonicity for distributive substructural logics. J. Log. Algebraic Methods Program. 93: 1-22 (2017)
• 
  Adriana Balan, Alexander Kurz, Jiri Velebil:
  An institutional approach to positive coalgebraic logic. J. Log. Comput. 27(6): 1799-1824 (2017)
• 
  Lutz Schröder, Dirk Pattinson, Tadeusz Litak:
  A Van Benthem/Rosen theorem for coalgebraic predicate logic. J. Log. Comput. 27(3): 749-773 (2017)
• 
  Ernst-Erich Doberkat, Alexander Kurz:
  Foreword: special issue on coalgebraic logic. Math. Struct. Comput. Sci. 27(7): 1108-1110 (2017)
• 
  Zeinab Bakhtiari, Helle Hvid Hansen:
  Bisimulation for Weakly Expressive Coalgebraic Modal Logics. CALCO 2017: 4:1-4:16
• 
  Fredrik Dahlqvist, Alexander Kurz:
  The Positivication of Coalgebraic Logics. CALCO 2017: 9:1-9:15
• 
  Fatemeh Seifan, Lutz Schröder, Dirk Pattinson:
  Uniform Interpolation in Coalgebraic Modal Logic. CALCO 2017: 21:1-21:16
• 
  Luís Soares Barbosa:
  Layered Logics, Coalgebraically. DALI@TABLEAUX 2017: 55-63
• 
  Gianfranco Basti, Antonio Capolupo, Giuseppe Vitiello:
  Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science. CoRR abs/1701.00527 (2017)
• 2016
• 
  Bartek Klin, Jurriaan Rot:
  Coalgebraic trace semantics via forgetful logics. Log. Methods Comput. Sci. 12(4) (2016)
• 
  Ekaterina Komendantskaya, John Power, Martin Schmidt:
  Coalgebraic logic programming: from Semantics to Implementation. J. Log. Comput. 26(2): 745-783 (2016)
• 
  Sebastian Enqvist, Fatemeh Seifan, Yde Venema:
  Completeness for Coalgebraic Fixpoint Logic. CSL 2016: 7:1-7:19
• 
  Marta Bílková, Matej Dostál:
  Expressivity of Many-Valued Modal Logics, Coalgebraically. WoLLIC 2016: 109-124
• 
  Corina Cîrstea:
  A Coalgebraic Approach to Quantitative Linear Time Logics. CoRR abs/1612.07844 (2016)
• 2015
• 
  Fredrik Dahlqvist:
  Completeness-via-canonicity in coalgebraic logics. Imperial College London, UK, 2015
• 
  Adriana Balan, Alexander Kurz, Jiri Velebil:
  Positive fragments of coalgebraic logics. Log. Methods Comput. Sci. 11(3) (2015)
• 
  Fredrik Dahlqvist, David J. Pym:
  Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective. RAMICS 2015: 119-135

skipping 112 more matches