Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Goldblatt, Rob - School of Mathematical and Computing Sciences, Victoria University of Wellington
MATHEMATICAL MODAL LOGIC: A VIEW OF ITS EVOLUTION
ERDOS GRAPHS RESOLVE FINE'S CANONICITY PROBLEM ROBERT GOLDBLATT, IAN HODKINSON, AND YDE VENEMA
Deduction Systems for Coalgebras Over Measurable Spaces
Robert Goldblatt Maps and Monads for Modal Dedicated to the memory of Willem Johannes Blok.
The McKinseyLemmon logic is barely canonical Robert Goldblatt and Ian Hodkinson
Robert Goldblatt Ian Hodkinson
Under consideration for publication in Math. Struct. in Comp. Science A Comonadic Account of Behavioural
Monadic Bounded Algebras Galym Akishev and Robert Goldblatt
Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators
THE REVIEW OF SYMBOLIC LOGIC Volume 2, Number 2, June 2009
Axiomatic Classes of Intuitionistic Models Robert Goldblatt
PUBLISHED PAPERS: ROBERT GOLDBLATT 1. A model-theoretic study of some systems containing S3. Zeitschr. f. Math. Logik und
An Admissible Semantics for Propositionally Quantified Relevant Logics
A General Semantics for Quantified Modal Logic1
A Kripke-Joyal Semantics for Noncommutative Logic in Quantales
Constant Modal Logics and Canonicity Robert Goldblatt
An Alternative Semantics for Quantified Relevant Edwin D. Mares and Robert Goldblatt
Covarieties of Coalgebras: Comonads and Coequations
On Canonical Modal Logics That Are Not Elementarily Determined
Electronic Notes in Theoretical Computer Science 44 No. 1 (2001) URL: http://www.elsevier.nl/locate/entcs/volume44.html 24 pages
Reflections on a Proof of Elementarity Robert Goldblatt
Functional Monadic Bounded Algebras Robert Goldblatt
Cover Semantics for Quantified Lax Logic Robert Goldblatt
Fine's Theorem on First-Order Complete Modal Logics
Robert Goldblatt Grishin Algebras and Cover Systems for Classical
Well structured program equivalence is highly undecidable ROBERT GOLDBLATT, Victoria University of Wellington
Robert Goldblatt Topological Proofs of Some Rasiowa-Sikorski Lemmas
