Yde Venema

Proceedings of the Advances in Modal Logic 10, 2014

Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective.

[BibT_eX]

[DOI]

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Generalised powerlocales via relation lifting.

[BibT_eX]

[DOI]

Steve Vickers

Jacob Vosmaer

Math. Struct. Comput. Sci., 2013

A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus.

[BibT_eX]

[DOI]

Alessandro Facchini

Fabio Zanasi

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012

Foreword.

[BibT_eX]

[DOI]

Stud Logica, 2012

Completeness for the coalgebraic cover modality

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Generalized powerlocales via relation lifting

[BibT_eX]

[DOI]

Steve Vickers

Jacob Vosmaer

CoRR, 2012

Lax Extensions of Coalgebra Functors.

[BibT_eX]

[DOI]

Johannes Marti

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

Stream Automata Are Coalgebras.

[BibT_eX]

[DOI]

Vincenzo Ciancia

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2011

On monotone modalities and adjointness.

[BibT_eX]

[DOI]

Marta Bílková

Jirí Velebil

Math. Struct. Comput. Sci., 2011

Modal Logics are Coalgebraic.

[BibT_eX]

[DOI]

Comput. J., 2011

Model Constructions for Moss' Coalgebraic Logic.

[BibT_eX]

[DOI]

Jort Bergfeld

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Logics and Algebras for Multiple Players.

[BibT_eX]

[DOI]

Loes Olde Loohuis

Rev. Symb. Log., 2010

Coalgebra and Logic: A Brief Overview.

[BibT_eX]

[DOI]

Alessandra Palmigiano

J. Log. Comput., 2010

Vietoris Bisimulations.

[BibT_eX]

[DOI]

Nick Bezhanishvili

Gaëlle Fontaine

J. Log. Comput., 2010

Completeness for flat modal fixpoint logics.

[BibT_eX]

[DOI]

Luigi Santocanale

Ann. Pure Appl. Log., 2010

Automata for Coalgebras: An Approach Using Predicate Liftings.

[BibT_eX]

[DOI]

Gaëlle Fontaine

Raul Andres Leal

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

Flat Coalgebraic Fixed Point Logics.

[BibT_eX]

[DOI]

Lutz Schröder

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Uniform Interpolation for Monotone Modal Logic.

[BibT_eX]

[DOI]

Luigi Santocanale

Proceedings of the Advances in Modal Logic 8, 2010

Coalgebraic Lindströom Theorems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 8, 2010

2009

Algebraic and Coalgebraic Logic Corner.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Fixpoint Logics and Automata: A Coalgebraic Approach.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Fixed Points in Computer Science, 2009

Complementation of Coalgebra Automata.

[BibT_eX]

[DOI]

Christian Kissig

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Coalgebraic Automata Theory: Basic Results.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Completeness of the finitary Moss logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 7, 2008

Proof systems for the coalgebraic cover modality.

[BibT_eX]

[DOI]

Marta Bílková

Alessandra Palmigiano

Proceedings of the Advances in Modal Logic 7, 2008

2007

Finite Model Theory and Its Applications

[BibT_eX]

[DOI]

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-68804-4, 2007

A Modal Distributive Law (abstract).

[BibT_eX]

[DOI]

Proceedings of the Logic, 2007

Nabla Algebras and Chu Spaces.

[BibT_eX]

[DOI]

Alessandra Palmigiano

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

Algebras and coalgebras.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Modal Logic., 2007

2006

Automata and fixed point logic: A coalgebraic perspective.

[BibT_eX]

[DOI]

Inf. Comput., 2006

Definitorially Complete Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

A Sahlqvist theorem for distributive modal logic.

[BibT_eX]

[DOI]

Mai Gehrke

Hideo Nagahashi

Ann. Pure Appl. Log., 2005

Closure Properties of Coalgebra Automata.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

Stone coalgebras.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

A Dual Characterization of Subdirectly Irreducible BAOs.

[BibT_eX]

[DOI]

Stud Logica, 2004

Automata and Fixed Point Logics for Coalgebras.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Erdös graphs resolve Fine's canonicity problem.

[BibT_eX]

[DOI]

Robert Goldblatt

Ian M. Hodkinson

Bull. Symb. Log., 2004

2003

Representation of Game Algebras.

[BibT_eX]

[DOI]

Stud Logica, 2003

Atomless varieties.

[BibT_eX]

[DOI]

J. Symb. Log., 2003

Simulating polyadic modal logics by monadic ones.

[BibT_eX]

[DOI]

George Goguadze

Carla Piazza

J. Symb. Log., 2003

2002

Book review: Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2002

2001

A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2001

Undecidable Theories of Lyndon Algebras.

[BibT_eX]

[DOI]

Vera Stebletsova

J. Symb. Log., 2001

Modal Logic

[BibT_eX]

[DOI]

Patrick Blackburn

Maarten de Rijke

Cambridge Tracts in Theoretical Computer Science 53, Cambridge University Press, ISBN: 978-1-10705088-4, 2001

1999

Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Editorial.

[BibT_eX]

[DOI]

Angelo Montanari

Alberto Policriti

Log. J. IGPL, 1999

1998

Rectangular Games.

[BibT_eX]

[DOI]

J. Symb. Log., 1998

A Modal Logic of Information Change.

[BibT_eX]

Joeri Engelfriet

Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

Specification of Dynamics for Knowledge-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Transactions and Change in Logic Databases, 1998

Canonical Pseudo-Correspondence.

[BibT_eX]

Proceedings of the Advances in Modal Logic 2, 1998

1997

Editorial: Modal Logic and Dynamic Semantics.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1997

Axioms for Jonsson's Q-Algebras.

[BibT_eX]

Vera Stebletsova

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Logic, Language, and Information.

[BibT_eX]

[DOI]

Patrick Blackburn

Maarten de Rijke

Proceedings of the Relational Methods in Computer Science., 1997

Multi-dimensional modal logic.

[BibT_eX]

Maarten Marx

Applied logic series 4, Kluwer, ISBN: 978-0-7923-4345-5, 1997

1996

Tree Models and (Labeled) Categorial Grammar.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1996

Atom Structures.

[BibT_eX]

Proceedings of the Advances in Modal Logic 1, 1996

1995

Meeting strength in substructural logics.

[BibT_eX]

[DOI]

Stud Logica, 1995

Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras.

[BibT_eX]

[DOI]

Maarten de Rijke

Stud Logica, 1995

Cylindrical Modal Logic.

[BibT_eX]

[DOI]

J. Symb. Log., 1995

Dynamic squares.

[BibT_eX]

[DOI]

Patrick Blackburn

J. Philos. Log., 1995

1994

A Modal Logic for Quantification and Substitution.

[BibT_eX]

[DOI]

Log. J. IGPL, 1994

Completeness through Flatness in Two-Dimensional Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

1993

Derivation Rules as Anti-Axioms in Modal Logic.

[BibT_eX]

[DOI]

J. Symb. Log., 1993

1992

A note on the tense logic of dominoes.

[BibT_eX]

[DOI]

J. Philos. Log., 1992

1991

A Modal Logic for Chopping Intervals.

[BibT_eX]

[DOI]

J. Log. Comput., 1991

1990

Expressiveness and Completeness of an Interval Tense Logic.

[BibT_eX]

[DOI]