Papers

Online Papers

Topological Proofs of Some Rasiowa-Sikorski Lemmas.
Studia Logica, Special issue dedicated to the memory of Leo Esakia, 2012.
[abstract] [preprint pdf]
Fine's Theorem on First-Order Complete Modal Logics.
In Metaphysics, Modality, and Meaning. Themes from Kit Fine, edited by Mircea Dumitru, Oxford University Press, to appear.
[abstract] [preprint pdf]
Well Structured Program Equivalence is Highly Undecidable.
With Marcel Jackson. ACM Transactions on Computational Logic, available online 26 September 2011.
[abstract] [preprint pdf]
Grishin Algebras and Cover Systems for Classical Bilinear Logic
Studia Logica, vol. 99, 2011, pp. 203-227, doi:10.1007/s11225-011-9360-0
[abstract] [preprint pdf]
Cover Semantics for Quantified Lax Logic
Journal of Logic and Computation, 2010. doi:10.1093/logcom/exq029
[abstract] [preprint pdf]
Deduction Systems for Coalgebras Over Measurable Spaces
Journal of Logic and Computation, Vol. 20, Issue 5, October 2010, 1069-1100. Published online December 12, 2008, doi: 10.1093/logcom/exn092
[abstract] [preprint pdf]
Functional Monadic Bounded Algebras
Studia Logica, vol. 96, no. 1, 2010, pp. 41-48. doi:10.1007/s11225-010-9271-5
[abstract] [preprint pdf]
Monadic Bounded Algebras
With Galym Akishev. Studia Logica, vol. 96, no. 1, 2010, pp. 1-40. doi:10.1007/s11225-010-9269-z
[abstract] [preprint pdf]
An Admissible Semantics for Propositionally Quantified Relevant Logics
With Michael Kane. Journal of Philosophical Logic, , vol. 39, no. 1, 2010, pp. 73-100. Published on-line 5 August 2009, doi:10.1007/s10992-009-9109-7.
[abstract] [preprint pdf]
Conservativity of Heyting Implication Over Relevant Quantification
Review of Symbolic Logic, vol. 2, no. 2, 2009, pp. 310- 341. © 2009 Association for Symbolic Logic. doi:10.1017/S1755020309090194
[abstract] [published version pdf]
Commutativity of Quantifiers in Varying-Domain Kripke Models
With Ian Hodkinson. In Towards Mathematical Philosophy , David Makinson, Jacek Malinowski and Heinrich Wansing (eds.), Volume 28 of Trends in Logic, Springer, 2009, 9 - 30.
[abstract] [pdf]
The McKinsey--Lemmon Logic Is Barely Canonical
With Ian Hodkinson. Australasian Journal of Logic, vol. 5, 2007, pp. 1-19.
[abstract] [pdf] (the published version is freely downloadable from the journal website )
A General Semantics for Quantified Modal Logic
With Edwin Mares. Advances in Modal Logic, Volume 6, Guido Governatori, Ian Hodkinson and Yde Venema, editors. College Publications, London, 2006, 227-246.
[abstract] [pdf]
A Kripke-Joyal Semantics for Noncommutative Logic in Quantales
Advances in Modal Logic, Volume 6, Guido Governatori, Ian Hodkinson and Yde Venema, editors. College Publications, London, 2006, 209-225.
[abstract] [pdf]
A Modal Proof Theory for Final Polynomial Coalgebras
With David Friggens. Theoretical Computer Science, vol. 360, Issues 1-3, 2006, pp 1-22.
[abstract] [pdf]
Constant Modal Logics and Canonicity
In Modality Matters. Twenty-Five Essays in Honour of Krister Segerberg, edited by Henrik Lagerlund, Sten Lindström and Rysiek Sliwinski, Uppsala Philosophical Studies 53, Uppsala University, 2006, 149-157.
[abstract] [pdf]
Maps and Monads for Modal Frames
Studia Logica, vol. 83, 2006, 307-329.
[abstract] [pdf]
An Alternative Semantics for Quantified Relevant Logic
With Edwin Mares. The Journal of Symbolic Logic, vol. 71, no. 1, March 2006, 163-187.
[abstract] [pdf]
Final Coalgebras and the Hennessy-Milner Property
Annals of Pure and Applied Logic, vol. 183, 77-93, 2006.
[abstract] [pdf]
Axiomatic Classes of Intuitionistic Models
Journal of Universal Computer Science, vol. 11, Issue 12, pp 1945-1962, 2005.
[abstract] [pdf]
Covarieties of Coalgebras: Comonads and Coequations
With Ranald Clouston. In Theoretical Aspects of Computing - ICTAC 2005, Dang Van Hung and Martin Wirsing (eds.), Lecture Notes in Computer Science vol. 3722 , pp 288-302. © Springer-Verlag, 2005.
[abstract ] [pdf]
A Comonadic Account of Behavioural Covarieties of Coalgebras
Mathematical Structures in Computer Science, © Cambridge University Press, vol. 15, 2005, 243-269.
[abstract] [pdf]
On Canonical Modal Logics That Are Not Elementarily Determined
With Ian Hodkinson and Yde Venema. Logique et Analyse, vol. 181, 2003, 77-101.
In a Festschrift for Max Cresswell on the occasion of his 65th birthday.
[abstract] [pdf]
Erdos Graphs Resolve Fine's Canonicity Problem
With Ian Hodkinson and Yde Venema. The Bulletin of Symbolic Logic, vol. 10, no. 2, June 2004, 186-208.
[abstract] [pdf]
A Compactification of Polynomial Coalgebras
Topology Proceedings, vol. 27, no. 2, 2003, 439-459.
[abstract] [pdf]
Mathematical Modal Logic: a View of its Evolution
Revised version, in Logic and the Modalities in the Twentieth Century, Volume 7 of the Handbook of the History of Logic, edited by Dov M. Gabbay and John Woods, Elsevier, 2006, pp 1-98.
Contains a new Section 7.7 on Modal Logic for Coalgebras.
[abstract] [Table of Contents] [ pdf ]
Enlargements of Polynomial Coalgebras
In Proceedings of the 7th and 8th Asian Logic Conferences, R. Downey et alia (editors), World Scientific, 2003, pp 152-192.
[abstract] [pdf]
Questions of Canonicity
In Trends in Logic: 50 Years of Studia Logica, Vincent F. Hendricks and Jacek Malinowski (eds), Kluwer Academic Publishers, 2003, pp 93-128.
[abstract] [pdf]
Observational Ultraproducts of Polynomial Coalgebras
Annals of Pure and Applied Logic, vol. 123, 2003, 235-290.
[abstract] [pdf]
Equational Logic of Polynomial Coalgebras
Advances in Modal Logic, Volume 4. Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, and Michael Zakharyaschev (editors), King's College Publications, King's College London, 2003, 149-184.
[abstract] [pdf]
A Calculus of Terms for Coalgebras of Polynomial Functors (24 pp)
In CMCS 2001: 4th International Workshop on Coalgebraic Methods in Computer Science, Electronic Notes in Theoretical Computer Science, Volume 44, Issue 1, 2001.
[abstract] [pdf]
Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators
Studia Logica, vol. 68, No. 2, July 2001, 155-171.
[abstract] [pdf]
Duality for Some Categories of Coalgebras
Algebra Universalis, vol. 46, 2001, 389-416.
[abstract] [pdf]
What is the Coalgebraic Analogue of Birkhoff's Variety Theorem?
Theoretical Computer Science, vol. 266, 2001, 853-886.
[abstract] [pdf]
Quasi-Modal Equivalence of Canonical Structures
The Journal of Symbolic Logic, vol. 66, No. 2, June 2001, 497-508.
[abstract] [pdf]
Algebraic Polymodal Logic: A Survey
Logic Journal of the IGPL, Volume 8, Issue 4, July 2000, pages 393--450,
Special Issue on Algebraic Logic edited by Istvan Nemeti and Ildiko Sain.
[abstract] [pdf ]
Reflections on a Proof of Elementarity
in JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday,
ed. by J. Gerbrandy, M. Marx, M. de Rijke and Y. Venema, Amsterdam University Press, 1999.
[abstract] [pdf]