The following pages link to Robert Goldblatt (Q227763):
Displayed 50 items.
- Topological proofs of some Rasiowa-Sikorski lemmas (Q454394) (← links)
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- Monadic bounded algebras (Q708923) (← links)
- Functional monadic bounded algebras (Q708924) (← links)
- The power of a propositional constant (Q742479) (← links)
- Topoi. The categorial analysis of logic. Rev. ed (Q786811) (← links)
- The semantics of Hoare's iteration rule (Q1078551) (← links)
- An algebraic study of well-foundedness (Q1087540) (← links)
- Orthogonality and spacetime geometry (Q1090929) (← links)
- Enlargements of functional algebras for the lambda calculus (Q1129261) (← links)
- Topoi. The categorial analysis of logic (Q1139588) (← links)
- Diodorean modality in Minkowski spacetime (Q1150600) (← links)
- Axiomatising the logic of computer programming (Q1158956) (← links)
- Parallel action: Concurrent dynamic logic with independent modalities (Q1207436) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- (Q1394335) (redirect page) (← links)
- Semantic analysis of orthologic (Q1394336) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The finite model property for logics with the tangle modality (Q1708103) (← links)
- Duality for some categories of coalgebras. (Q1771881) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Elementary generation and canonicity for varieties of Boolean algebras with operators (Q1906001) (← links)
- Definable operators on stable set lattices (Q2027212) (← links)
- A study of Z modal systems (Q2265414) (← links)
- Maps and monads for modal frames (Q2433103) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Solution to a completeness problem of Lemmon and Scott (Q2559355) (← links)
- Concerning the proper axiom for S4.04 and some related systems (Q2560223) (← links)
- A new extension of S4 (Q2562171) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- Quasi-Modal Equivalence of Canonical Structures (Q2747700) (← links)
- Well-structured program equivalence is highly undecidable (Q2946675) (← links)
- Cameo of a Consummate Computabilist (Q2973714) (← links)
- Deduction Systems for Coalgebras Over Measurable Spaces (Q3056298) (← links)
- Cover semantics for quantified lax logic (Q3103978) (← links)
- Mereocompactness and Duality for Mereotopological Spaces (Q3305432) (← links)
- (Q3329467) (← links)
- CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION (Q3395329) (← links)
- The Countable Henkin Principle (Q3454812) (← links)
- (Q3509054) (← links)
- (Q3509055) (← links)
- Commutativity of Quantifiers in Varying-Domain Kripke Models (Q3600561) (← links)
- (Q3629226) (← links)
- On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic (Q3682479) (← links)
- Orthomodularity is not elementary (Q3722500) (← links)
- (Q3773852) (← links)
- (Q3929723) (← links)