- Canonical Pseudo-Correspondence abstract. Generalizing an example from (Fine 1975) and inspired
- Completeness through Flatness in Two-Dimensional Temporal Logic
- Yde Venema A Dual Characterization of Subdirectly Irreducible BAOs
- TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
- Atomless Varieties December 11, 2002
- Nabla Algebras and Chu Spaces Alessandra Palmigiano and Yde Venema
- Coalgebraic Lindstrom Theorems Alexander Kurz
- Completeness for Flat Modal Fixpoint Logics$ Luigi Santocanalea
- Vietoris bisimulations N. Bezhanishvili, G. Fontaine and Y. Venema
- Meeting a Modality? Restricted Permutation for the Lambek Calculus
- Tree Models and (Labeled) Categorial Grammar
- A modal logic of relations (with an appendix containing remarks on mosaics and step-by-step by
- COALGEBRAIC AUTOMATA THEORY: BASIC RESULTS CLEMENS KUPKE AND YDE VENEMA
- Cylindric Modal Logic present address
- Errata (August 4, 2004) Here is a list of all the more or less serious errata in the first edition of Modal Logic
- Algebras and Coalgebras Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, NL1018 TV
- Derivation Rules as Anti-Axioms in Modal Logic
- Undecidable theories of Lyndon algebras Vera Stebletsova
- COMPLETENESS VIA COMPLETENESS: SINCE AND UNTIL
- Axiomatizing complex algebras by games Ian Hodkinson
- Propositional Logics for Three TERO TULENHEIMO AND YDE VENEMA
- A Crash Course in Arrow Logic Department of Mathematics and
- Completeness for Flat Modal Fixpoint Logics (Extended Abstract)
- Simulating polyadic modal logics by monadic ones George Goguadze
- On Canonical Modal Logics That Are Not Elementarily Robert Goldblatt, Ian Hodkinson and Yde Venema
- Ultrafilter Unions: an exercise in modal definability Institute for Logic, Language and Computation
- Yde Venema Representation of Game Algebras Abstract. We prove that every abstractly defined game algebra can be represented as
- Vera Stebletsova 1 Introduction
- Model definability, purely modal 1 Introduction 2
- Automata and Fixed Point Logic: a Coalgebraic Perspective This paper generalizes existing connections between automata and logic to a coalge-
- Atom structures August 8, 2002
- The Author 2009. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: journals.permissions@oup.com
- Automata for Coalgebras: An Approach Using Predicate Liftings
- Uniform Interpolation for Monotone Modal Logic
- THE REVIEW OF SYMBOLIC LOGIC Volume 3, Number 3, September 2010
- Complementation of Coalgebra Automata Christian Kissig1
- Algebra univers. 57 (2007) 143193 0002-5240/07/020143 51, published online September 18, 2007
- Definitorially Complete Description Logics Balder ten Cate
- Closure properties of coalgebra automata Clemens Kupke
- A Sahlqvist Theorem for Distributive Modal Logic Hideo Nagahashi
- Stone Coalgebras Clemens Kupke
- TEMPORAL LOGIC 1 Introduction
- Points, lines and diamonds: a two-sorted modal logic for projective planes
- THE PRESERVATION OF SAHLQVIST EQUATIONS IN COMPLETIONS OF BOOLEAN ALGEBRAS WITH OPERATORS
- A modal logic of information change Joeri Engelfriet
- Atom structures and Sahlqvist equations Department of Mathematics and Computer Science
- A Modal Logic of Quantification and Substitution
- Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras
- Meeting Strength in substructural logics
- Relational Games 1 Introduction
- Under consideration for publication in Math. Struct. in Comp. Science On monotone modalities and adjointness
- Errata (August 4, 2004) Here is a list of all the more or less serious errata in the first edition of Modal Logic
- Lax Extensions of Coalgebra Functors Johannes Marti and Yde Venema
- GENERALIZED POWERLOCALES VIA RELATION LIFTING YDE VENEMA, STEVE VICKERS, AND JACOB VOSMAER
- Model constructions for Moss' coalgebraic logic Jort Bergfeld1
- http://journals.cambridge.org Downloaded: 23 Feb 2012 IP address: 146.50.144.83 Math. Struct. in Comp. Science (2011), vol. 21, pp. 383416. c Cambridge University Press 2011
- Stream automata are coalgebras Vincenzo Ciancia, Yde Venema