Coalgebraic Logics & Duality

I will provide a brief introduction to coalgebraic modal logics and highlight a few central concepts concerning these logics. After that I will outline my current research in the area.

[1]  Alexander Kurz.  A Co-Variety-Theorem for Modal Logic , 1998, Advances in Modal Logic.

[2]  Robert Goldblatt,et al.  Equational Logic of Polynomial Coalgebras , 2002, Advances in Modal Logic.

[3]  Dirk Pattinson,et al.  Coalgebraic semantics of modal logics: An overview , 2011, Theor. Comput. Sci..

[4]  Alessandra Palmigiano,et al.  Proof systems for Moss' coalgebraic logic , 2014, Theor. Comput. Sci..

[5]  Yde Venema,et al.  Automata for Coalgebras: An Approach Using Predicate Liftings , 2010, ICALP.

[6]  H. Peter Gumm,et al.  Covarieties and Complete Covarieties , 1998, CMCS.

[7]  Neil Ghani,et al.  A compositional approach to economic game theory , 2016, ArXiv.

[8]  Martin Rößiger,et al.  Coalgebras and Modal Logic , 2000, CMCS.

[9]  Dirk Pattinson,et al.  PSPACE Bounds for Rank-1 Modal Logics , 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).

[10]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[11]  Bartek Klin.  Bialgebraic methods and modal logic in structural operational semantics , 2009, Inf. Comput..

[12]  Yde Venema,et al.  Completeness for the coalgebraic cover modality , 2012, Log. Methods Comput. Sci..

[13]  Yde Venema,et al.  Completeness for Coalgebraic Fixpoint Logic , 2016, CSL.

[14]  Alexander Kurz,et al.  The Positivication of Coalgebraic Logics , 2018, CALCO.

[15]  Completions of mu-algebras , 2005, math/0508412.

[16]  Jurriaan Rot,et al.  Coalgebraic Trace Semantics via Forgetful Logics , 2015, FoSSaCS.

[17]  Helle Hvid Hansen,et al.  Parity Games and Automata for Game Logic , 2018, DALI@TABLEAUX.

[18]  Jan J. M. M. Rutten.  Relators and Metric Bisimulations , 1998, CMCS.

[19]  Dirk Pattinson,et al.  Coalgebraic modal logic: soundness, completeness and decidability of local consequence , 2003, Theor. Comput. Sci..

[20]  Bartek Klin,et al.  Coalgebraic Modal Logic Beyond Sets , 2007, MFPS.

[21]  Yde Venema.  Automata and fixed point logic: A coalgebraic perspective , 2006, Inf. Comput..

[22]  Ana Sokolova,et al.  Exemplaric Expressivity of Modal Logics , 2010, J. Log. Comput..

[23]  Dirk Pattinson,et al.  EXPTIME Tableaux for the Coalgebraic µ-Calculus , 2009, CSL.

[24]  Neil Ghani,et al.  A Compositional Treatment of Iterated Open Games , 2017, Theor. Comput. Sci..

[25]  Jan J. M. M. Rutten,et al.  Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[26]  Yde Venema,et al.  Stone coalgebras , 2004, Theor. Comput. Sci..

[27]  Corina Cîrstea,et al.  A compositional approach to defining logics for coalgebras , 2004, Theor. Comput. Sci..

[28]  Lutz Schröder,et al.  Expressivity of coalgebraic modal logic: The limits and beyond , 2008, Theor. Comput. Sci..

[29]  Paul Blain Levy,et al.  Final Coalgebras from Corecursive Algebras , 2015, CALCO.

[30]  Alexander Kurz,et al.  Algebraic Semantics for Coalgebraic Logics , 2004, CMCS.

[31]  Yde Venema,et al.  Completeness for flat modal fixpoint logics , 2010, Ann. Pure Appl. Log..

[32]  Luigi Santocanale.  Completions of µ-algebras , 2008, Ann. Pure Appl. Log..

[33]  Clemens Kupke,et al.  Characterising Behavioural Equivalence: Three Sides of One Coin , 2009, CALCO.

[34]  Bart Jacobs,et al.  Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study , 2001, RAIRO Theor. Informatics Appl..

[35]  Robert Goldblatt,et al.  Final coalgebras and the Hennessy-Milner property , 2006, Ann. Pure Appl. Log..

[36]  Lawrence S. Moss,et al.  Final coalgebras for functors on measurable spaces , 2006, Inf. Comput..

[37]  Bart Jacobs.  Trace Semantics for Coalgebras , 2004, CMCS.

[38]  Yde Venema,et al.  Coalgebraic Automata Theory: Basic Results , 2008, Log. Methods Comput. Sci..

[39]  Corina Cîrstea,et al.  Modular construction of complete coalgebraic logics , 2007, Theor. Comput. Sci..

[40]  Nick Bezhanishvili,et al.  Games for Topological Fixpoint Logic , 2016, GandALF.

[41]  Corina Cîrstea,et al.  Modal Logics are Coalgebraic , 2008, Comput. J..

[42]  Helle Hvid Hansen,et al.  Weak Completeness of Coalgebraic Dynamic Logics , 2015, FICS.

[43]  Clemens Kupke,et al.  Angluin Learning via Logic , 2018, LFCS.