Robert Goldblatt

67 papers B 6C 1Journal 53Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Strong Completeness of a First-order Temporal Logic for Real Time. Rev. Symb. Log. Robert Goldblatt
2024	J	`jnl`	Canonicity in Power and Modal Logics of finite Achronal Width. Rev. Symb. Log. Robert Goldblatt, Ian M. Hodkinson
2022	J	`jnl`	Canonicity in power and modal logics of finite achronal width. CoRR Robert Goldblatt, Ian M. Hodkinson
2021	J	`jnl`	Completeness of Pledger's modal logics of one-sorted projective and elliptic planes. Australas. J. Log. Robert Goldblatt
2020	J	`jnl`	Definable Operators on Stable Set Lattices. Stud Logica Robert Goldblatt
2020	J	`jnl`	Morphisims and Duality for Polarities and Lattices with Operators. FLAP Robert Goldblatt
2020	J	`jnl`	Strong Completeness of Modal Logics over 0-dimensional Metric Spaces. Rev. Symb. Log. Robert Goldblatt, Ian M. Hodkinson
2019	J	`jnl`	Strong completeness of modal logics over 0-dimensional metric spaces. CoRR Robert Goldblatt, Ian M. Hodkinson
2018	B	`conf`	Canonicity Frameworks and Ultraproducts of Polarities. Advances in Modal Logic Robert Goldblatt
2018	J	`jnl`	The Finite Model Property for Logics with the Tangle Modality. Stud Logica Robert Goldblatt, Ian M. Hodkinson
2017	—	`conf`	Cameo of a Consummate Computabilist. Computability and Complexity Robert Goldblatt
2017	J	`jnl`	Spatial logic of tangled closure operators and modal mu-calculus. Ann. Pure Appl. Log. Robert Goldblatt, Ian M. Hodkinson
2016	J	`jnl`	Spatial logic of modal mu-calculus and tangled closure operators. CoRR Robert Goldblatt, Ian M. Hodkinson
2016	B	`conf`	The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space. Advances in Modal Logic Robert Goldblatt, Ian M. Hodkinson
2014	J	`jnl`	The Power of a Propositional Constant. J. Philos. Log. Robert Goldblatt, Tomasz Kowalski
2012	J	`jnl`	Topological Proofs of Some Rasiowa-Sikorski Lemmas. Stud Logica Robert Goldblatt
2012	J	`jnl`	Well-structured program equivalence is highly undecidable. ACM Trans. Comput. Log. Robert Goldblatt, Marcel Jackson
2011	J	`jnl`	Cover semantics for quantified lax logic. J. Log. Comput. Robert Goldblatt
2011	J	`jnl`	Grishin Algebras and Cover Systems for Classical Bilinear Logic. Stud Logica Robert Goldblatt
2011	J	`jnl`	Well structured program equivalence is highly undecidable CoRR Robert Goldblatt, Marcel Jackson
2010	J	`jnl`	An Admissible Semantics for Propositionally Quantified Relevant Logics. J. Philos. Log. Robert Goldblatt, Michael Kane
2010	J	`jnl`	Deduction Systems for Coalgebras Over Measurable Spaces. J. Log. Comput. Robert Goldblatt
2010	J	`jnl`	Functional Monadic Bounded Algebras. Stud Logica Robert Goldblatt
2010	J	`jnl`	Monadic Bounded Algebras. Stud Logica Galym Akishev, Robert Goldblatt
2009	—	`ch.`	Commutativity of Quantifiers in Varying-Domain Kripke Models. Towards Mathematical Philosophy Robert Goldblatt, Ian M. Hodkinson
2009	J	`jnl`	Conservativity of Heyting Implication over Relevant Quantification. Rev. Symb. Log. Robert Goldblatt
2008	B	`ed.`	Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008 Advances in Modal Logic Carlos Areces, Robert Goldblatt
2007	J	`jnl`	The McKinsey-Lemmon logic is barely canonical. Australas. J. Log. Robert Goldblatt, Ian M. Hodkinson
2006	B	`conf`	A General Semantics for Quantified Modal Logic. Advances in Modal Logic Robert Goldblatt, Edwin D. Mares
2006	B	`conf`	A Kripke-Joyal Semantics for Noncommutative Logic in Quantales. Advances in Modal Logic Robert Goldblatt
2006	J	`jnl`	A modal proof theory for final polynomial coalgebras. Theor. Comput. Sci. David Friggens, Robert Goldblatt
2006	J	`jnl`	An alternative semantics for quantified relevant logic. J. Symb. Log. Robert Goldblatt, Edwin D. Mares
2006	J	`jnl`	Final coalgebras and the Hennessy-Milner property. Ann. Pure Appl. Log. Robert Goldblatt
2006	J	`jnl`	Foreword. Ann. Pure Appl. Log. Rodney G. Downey, Robert Goldblatt
2006	J	`jnl`	Maps and Monads for Modal Frames. Stud Logica Robert Goldblatt
2006	—	`ch.`	Mathematical modal logic: A view of its evolution. Logic and the Modalities in the Twentieth Century Robert Goldblatt
2005	J	`jnl`	A comonadic account of behavioural covarieties of coalgebras. Math. Struct. Comput. Sci. Robert Goldblatt
2005	J	`jnl`	Axiomatic Classes of Intuitionistic Models. J. Univers. Comput. Sci. Robert Goldblatt
2005	C	`conf`	Covarieties of Coalgebras: Comonads and Coequations. ICTAC Ranald Clouston, Robert Goldblatt
2004	J	`jnl`	Erdös graphs resolve Fine's canonicity problem. Bull. Symb. Log. Robert Goldblatt, Ian M. Hodkinson, Yde Venema
2003	J	`jnl`	Mathematical modal logic: A view of its evolution. J. Appl. Log. Robert Goldblatt
2003	J	`jnl`	Observational ultraproducts of polynomial coalgebras. Ann. Pure Appl. Log. Robert Goldblatt
2002	B	`conf`	Equational Logic of Polynomial Coalgebras. Advances in Modal Logic Robert Goldblatt
2001	—	`conf`	A Calculus of Terms for Coalgebras of Polynomial Functors. CMCS Robert Goldblatt
2001	J	`jnl`	Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators. Stud Logica Robert Goldblatt
2001	J	`jnl`	Quasi-Modal Equivalence of Canonical Structures. J. Symb. Log. Robert Goldblatt
2001	J	`jnl`	What is the coalgebraic analogue of Birkhoff's variety theorem? Theor. Comput. Sci. Robert Goldblatt
2000	J	`jnl`	Algebraic Polymodal Logic: A Survey. Log. J. IGPL Robert Goldblatt
1999	J	`jnl`	A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus. Inf. Comput. Antonino Salibra, Robert Goldblatt
1998	J	`jnl`	Enlargement of Functional Algebras for the Lambda Calculus. Theor. Comput. Sci. Robert Goldblatt
1998	J	`jnl`	Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras. J. Symb. Log. Hajnal Andréka, Robert Goldblatt, István Németi
1996	—	`conf`	The Functional Lambda Abstraction Algebras Form a Variety. DMTCS Robert Goldblatt
1992	J	`jnl`	Parallel Action: Concurrent Dynamic Logic with Independent Modalities. Stud Logica Robert Goldblatt
1991	J	`jnl`	The McKinsey Axiom Is Not Canonical. J. Symb. Log. Robert Goldblatt
1989	J	`jnl`	Varieties of Complex Algebras. Ann. Pure Appl. Log. Robert Goldblatt
1985	J	`jnl`	An algebraic study of well-foundedness. Stud Logica Robert Goldblatt
1985	J	`jnl`	On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic. J. Symb. Log. Robert Goldblatt
1984	J	`jnl`	Orthomodularity is not Elementary. J. Symb. Log. Robert Goldblatt
1984	—	`book`	Topoi - the categorial analysis of logic, Second rev. Edition. Robert Goldblatt
1982	—	`book`	Axiomatising the Logic of Computer Programming Robert Goldblatt
1975	J	`jnl`	Erratum: "Concerning the proper axiom for S4.04 and some related systems". Notre Dame J. Formal Log. Robert Goldblatt
1975	J	`jnl`	First-Order Definability in Modal Logic. J. Symb. Log. Robert Goldblatt
1975	J	`jnl`	Solution to a completeness problem of Lemmon and Scott. Notre Dame J. Formal Log. Robert Goldblatt
1974	J	`jnl`	A study of Z modal systems. Notre Dame J. Formal Log. Robert Goldblatt
1974	J	`jnl`	Semantic analysis of orthologic. J. Philos. Log. Robert Goldblatt
1973	J	`jnl`	A new extension of S4. Notre Dame J. Formal Log. Robert Goldblatt
1973	J	`jnl`	Concerning the proper axiom for S4.04 and some related systems. Notre Dame J. Formal Log. Robert Goldblatt