Robert Goldblatt - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 58 from 58

2020

Strong Completeness of Modal Logics over 0-dimensional Metric SpacesRobert Goldblatt, Ian M. Hodkinson. rsl, 13(3):611-632, 2020. [doi]

Definable Operators on Stable Set LatticesRobert Goldblatt. sLogica, 108(6):1263-1280, 2020. [doi]

Morphisims and Duality for Polarities and Lattices with OperatorsRobert Goldblatt. flap, 7(6):1017-1070, 2020. [doi]

2018

The Finite Model Property for Logics with the Tangle ModalityRobert Goldblatt, Ian M. Hodkinson. sLogica, 106(1):131-166, 2018. [doi]

Canonicity Frameworks and Ultraproducts of PolaritiesRobert Goldblatt. aiml 2018: 5 [doi]

2017

Cameo of a Consummate ComputabilistRobert Goldblatt. BIRTHDAY 2017: 3-8 [doi]

Spatial logic of tangled closure operators and modal mu-calculusRobert Goldblatt, Ian M. Hodkinson. APAL, 168(5):1032-1090, 2017. [doi]

2016

The Tangled Derivative Logic of the Real Line and Zero-Dimensional SpaceRobert Goldblatt, Ian M. Hodkinson. aiml 2016: 342-361 [doi]

2014

The Power of a Propositional ConstantRobert Goldblatt, Tomasz Kowalski. jphil, 43(1):133-152, 2014. [doi]

2012

Topological Proofs of Some Rasiowa-Sikorski LemmasRobert Goldblatt. sLogica, 100(1-2):175-191, 2012. [doi]

Well-structured program equivalence is highly undecidableRobert Goldblatt, Marcel Jackson. tocl, 13(3):26, 2012. [doi]

2011

Grishin Algebras and Cover Systems for Classical Bilinear LogicRobert Goldblatt. sLogica, 99(1-3):203-227, 2011. [doi]

Cover semantics for quantified lax logicRobert Goldblatt. logcom, 21(6):1035-1063, 2011. [doi]

2010

Monadic Bounded AlgebrasGalym Akishev, Robert Goldblatt. sLogica, 96(1):1-40, 2010. [doi]

Deduction Systems for Coalgebras Over Measurable SpacesRobert Goldblatt. logcom, 20(5):1069-1100, 2010. [doi]

Functional Monadic Bounded AlgebrasRobert Goldblatt. sLogica, 96(1):41-48, 2010. [doi]

An Admissible Semantics for Propositionally Quantified Relevant LogicsRobert Goldblatt, Michael Kane. jphil, 39(1):73-100, 2010. [doi]

2009

Conservativity of Heyting Implication over Relevant QuantificationRobert Goldblatt. rsl, 2(2):310-341, 2009. [doi]

Commutativity of Quantifiers in Varying-Domain Kripke ModelsRobert Goldblatt, Ian M. Hodkinson. In David Makinson, Jacek Malinowski, Heinrich Wansing, editors, Towards Mathematical Philosophy. Volume 28 of Trends in logic, pages 9-30, Springer, 2009. [doi]

2006

ForewordRodney G. Downey, Robert Goldblatt. APAL, 138(1-3):1, 2006. [doi]

A modal proof theory for final polynomial coalgebrasDavid Friggens, Robert Goldblatt. TCS, 360(1-3):1-22, 2006. [doi]

A Kripke-Joyal Semantics for Noncommutative Logic in QuantalesRobert Goldblatt. aiml 2006: 209-225 [doi]

A General Semantics for Quantified Modal LogicRobert Goldblatt, Edwin D. Mares. aiml 2006: 227-246 [doi]

Final coalgebras and the Hennessy-Milner propertyRobert Goldblatt. APAL, 138(1-3):77-93, 2006. [doi]

Maps and Monads for Modal FramesRobert Goldblatt. sLogica, 83(1-3):309-331, 2006. [doi]

An alternative semantics for quantified relevant logicRobert Goldblatt, Edwin D. Mares. JSYML, 71(1):163-187, 2006. [doi]

Mathematical modal logic: A view of its evolutionRobert Goldblatt. In Dov M. Gabbay, John Woods, editors, Logic and the Modalities in the Twentieth Century. Volume 7 of Handbook of the History of Logic, pages 1-98, Elsevier, 2006. [doi]

2005

Covarieties of Coalgebras: Comonads and CoequationsRanald Clouston, Robert Goldblatt. ictac 2005: 288-302 [doi]

Axiomatic Classes of Intuitionistic ModelsRobert Goldblatt. jucs, 11(12):1945-1962, 2005. [doi]

A comonadic account of behavioural covarieties of coalgebrasRobert Goldblatt. mscs, 15(2):243-269, 2005. [doi]

2004

Erdös graphs resolve Fine s canonicity problemRobert Goldblatt, Ian M. Hodkinson, Yde Venema. bsl, 10(2):186-208, 2004. [doi]

2003

Observational ultraproducts of polynomial coalgebrasRobert Goldblatt. APAL, 123(1-3):235-290, 2003. [doi]

Mathematical modal logic: A view of its evolutionRobert Goldblatt. japll, 1(5-6):309-392, 2003. [doi]

2002

Equational Logic of Polynomial CoalgebrasRobert Goldblatt. aiml 2003: 149-184

2001

Quasi-Modal Equivalence of Canonical StructuresRobert Goldblatt. JSYML, 66(2):497-508, 2001.

Persistence and Atomic Generation for Varieties of Boolean Algebras with OperatorsRobert Goldblatt. sLogica, 68(2):155-171, 2001.

A Calculus of Terms for Coalgebras of Polynomial FunctorsRobert Goldblatt. ENTCS, 44(1):161-184, 2001. [doi]

What is the coalgebraic analogue of Birkhoff s variety theorem?Robert Goldblatt. TCS, 266(1-2):853-886, 2001. [doi]

2000

Algebraic Polymodal Logic: A SurveyRobert Goldblatt. igpl, 8(4):393-450, 2000. [doi]

1999

A Finite Equational Axiomatization of the Functional Algebras for the Lambda CalculusAntonino Salibra, Robert Goldblatt. iandc, 148(1):71-130, 1999.

1998

Relativised Quantification: Some Canonical Varieties of Sequence-Set AlgebrasHajnal Andréka, Robert Goldblatt, István Németi. JSYML, 63(1):163-184, 1998.

Enlargement of Functional Algebras for the Lambda CalculusRobert Goldblatt. TCS, 198(1-2):177-200, 1998. [doi]

1996

The Functional Lambda Abstraction Algebras Form a VarietyRobert Goldblatt. dmtcs 1996: 226-243

1992

Parallel Action: Concurrent Dynamic Logic with Independent ModalitiesRobert Goldblatt. sLogica, 51(3/4):551-578, 1992.

1991

The McKinsey Axiom Is Not CanonicalRobert Goldblatt. JSYML, 56(2):554-562, 1991.

1989

Varieties of Complex AlgebrasRobert Goldblatt. APAL, 44(3):173-242, 1989.

1985

On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of LogicRobert Goldblatt. JSYML, 50(2):412-422, 1985.

An algebraic study of well-foundednessRobert Goldblatt. sLogica, 44(4):423-437, 1985. [doi]

1984

Orthomodularity is not ElementaryRobert Goldblatt. JSYML, 49(2):401-404, 1984.

Topoi - the categorial analysis of logic, Second rev. EditionRobert Goldblatt. Volume 98 of Studies in logic and the foundations of mathematics, North-Holland, 1984. [doi]

1982

Axiomatising the Logic of Computer ProgrammingRobert Goldblatt. Volume 130 of Lecture Notes in Computer Science, Springer, 1982.

1975

First-Order Definability in Modal LogicRobert Goldblatt. JSYML, 40(1):35-40, 1975.

Solution to a completeness problem of Lemmon and ScottRobert Goldblatt. ndjfl, 16(3):405-408, 1975. [doi]

Erratum: "Concerning the proper axiom for S4.04 and some related systems"Robert Goldblatt. ndjfl, 16(4):608, 1975. [doi]

1974

A study of Z modal systemsRobert Goldblatt. ndjfl, 15(2):289-294, 1974. [doi]

Semantic analysis of orthologicRobert Goldblatt. jphil, 3(1-2):19-35, 1974. [doi]

1973

A new extension of S4Robert Goldblatt. ndjfl, 14(4):567-574, 1973. [doi]

Concerning the proper axiom for S4.04 and some related systemsRobert Goldblatt. ndjfl, 14(3):392-396, 1973. [doi]

Sign in or sign up to see more results.

runs on WebDSL