52 found
Order:
Disambiguations
Robert Goldblatt [50]Robert I. Goldblatt [2]
  1. Logics of Time and Computation.Robert Goldblatt - 1992 - CSLI Publications.
    No categories
     
    Export citation  
     
    Bookmark   38 citations  
  2.  15
    Varieties of Complex Algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  3.  33
    An Alternative Semantics for Quantified Relevant Logic.Edwin D. Mares & Robert Goldblatt - 2006 - Journal of Symbolic Logic 71 (1):163-187.
    The quantified relevant logic RQ is given a new semantics in which a formula for all xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are modelled as functions from variable-assignments to propositions, where a proposition is a set of worlds in a relevant model structure. A completeness proof is given for a basic quantificational system QR from which RQ is obtained by adding the axiom EC of 'extensional confinement': for all x(A V (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  4. Mathematics of Modality.Robert Goldblatt - 1993
     
    Export citation  
     
    Bookmark   21 citations  
  5.  9
    The Finite Model Property for Logics with the Tangle Modality.Robert Goldblatt & Ian Hodkinson - 2018 - Studia Logica 106 (1):131-166.
    The tangle modality is a propositional connective that extends basic modal logic to a language that is expressively equivalent over certain classes of finite frames to the bisimulation-invariant fragments of both first-order and monadic second-order logic. This paper axiomatises several logics with tangle, including some that have the universal modality, and shows that they have the finite model property for Kripke frame semantics. The logics are specified by a variety of conditions on their validating frames, including local and global connectedness (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  11
    Mathematical Modal Logic: A View of its Evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
  7.  6
    [Omnibus Review].Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
  8. Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.
     
    Export citation  
     
    Bookmark   25 citations  
  9.  14
    Vaughan R. Pratt. Semantical Considerations on Floyd–Hoare Logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, Pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional Dynamic Logic of Regular Programs. Journal of Computer and System Sciences, Vol. 18 , Pp. 194–211. - Krister Segerberg. A Completeness Theorem in the Modal Logic of Programs. Universal Algebra and Applications. Papers Presented at Stefan Banach International Mathematical Center at the Semester “Universal Algebra and Applications” Held February 15–June 9, 1978, Edited by Tadeuz Traczyk, Banach Center Publications, Vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, Pp. 31–46. - Rohit Parikh. The Completeness of Propositional Dynamic Logic. Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4–8, 1978, Edited by J. Winkowski, Lecture Notes in Computer Science, Vol. 64, Springe. [REVIEW]Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
  10.  68
    Diodorean Modality in Minkowski Spacetime.Robert Goldblatt - 1980 - Studia Logica 39 (2-3):219 - 236.
    The Diodorean interpretation of modality reads the operator as it is now and always will be the case that. In this paper time is modelled by the four-dimensional Minkowskian geometry that forms the basis of Einstein's special theory of relativity, with event y coming after event x just in case a signal can be sent from x to y at a speed at most that of the speed of light (so that y is in the causal future of x).It is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  11.  9
    Axiomatising the Logic of Computer Programming.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (3):854-855.
  12.  6
    Topoi. The Categorical Analysis of Logic.Robert Goldblatt - 1982 - Journal of Symbolic Logic 47 (2):445-448.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  13.  42
    The McKinsey Axiom is Not Canonical.Robert Goldblatt - 1991 - Journal of Symbolic Logic 56 (2):554-562.
  14.  50
    Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators.Robert Goldblatt - 2001 - Studia Logica 68 (2):155-171.
    A variety V of Boolean algebras with operators is singleton-persistent if it contains a complex algebra whenever it contains the subalgebra generated by the singletons. V is atom-canonical if it contains the complex algebra of the atom structure of any of the atomic members of V.This paper explores relationships between these "persistence" properties and questions of whether V is generated by its complex algebras or its atomic members, or is closed under canonical embedding algebras or completions. It also develops a (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  14
    Spatial Logic of Tangled Closure Operators and Modal Mu-Calculus.Robert Goldblatt & Ian Hodkinson - 2017 - Annals of Pure and Applied Logic 168 (5):1032-1090.
  16.  46
    Quantifiers, Propositions, and Identity: Admissible Semantics for Quantified Modal and Substructural Logics.Robert Goldblatt - 2011 - Cambridge University Press.
    Machine generated contents note: Introduction and overview; 1. Logics with actualist quantifiers; 2. The Barcan formulas; 3. The existence predicate; 4. Propositional functions and predicate substitution; 5. Identity; 6. Cover semantics for relevant logic; References; Index.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  32
    Monadic Bounded Algebras.Galym Akishev & Robert Goldblatt - 2010 - Studia Logica 96 (1):1 - 40.
    We introduce the equational notion of a monadic bounded algebra (MBA), intended to capture algebraic properties of bounded quantification. The variety of all MBA's is shown to be generated by certain algebras of two-valued propositional functions that correspond to models of monadic free logic with an existence predicate. Every MBA is a subdirect product of such functional algebras, a fact that can be seen as an algebraic counterpart to semantic completeness for monadic free logic. The analysis involves the representation of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  4
    The McKinsey–Lemmon Logic is Barely Canonical.Robert Goldblatt & Ian Hodkinson - 2007 - Australasian Journal of Logic 5:1-19.
    We study a canonical modal logic introduced by Lemmon, and axiomatised by an infinite sequence of axioms generalising McKinsey’s formula. We prove that the class of all frames for this logic is not closed under elementary equivalence, and so is non-elementary. We also show that any axiomatisation of the logic involves infinitely many non-canonical formulas.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  19. The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space.Robert Goldblatt & Ian Hodkinson - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 342-361.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Mereocompactness and Duality for Mereotopological Spaces.Matt Grice & Robert Goldblatt - 2016 - In Katalin Bimbó (ed.), J. Michael Dunn on Information Based Logics. Springer.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  21.  22
    Conservativity of Heyting Implication Over Relevant Quantification.Robert Goldblatt - 2009 - Review of Symbolic Logic 2 (2):310-341.
    It is known that propositional relevant logics can be conservatively extended by the addition of a Heyting (intuitionistic) implication connective. We show that this same conservativity holds for a range of first-order relevant logics with strong identity axioms, using an adaptation of Fine’s stratified model theory. For systems without identity, the question of conservatively adding Heyting implication is thereby reduced to the question of conservatively adding the axioms for identity. Some results in this direction are also obtained. The conservative presence (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  4
    Final Coalgebras and the Hennessy–Milner Property.Robert Goldblatt - 2006 - Annals of Pure and Applied Logic 138 (1):77-93.
    The existence of a final coalgebra is equivalent to the existence of a formal logic with a set of formulas that has the Hennessy–Milner property of distinguishing coalgebraic states up to bisimilarity. This applies to coalgebras of any functor on the category of sets for which the bisimilarity relation is transitive. There are cases of functors that do have logics with the Hennessy–Milner property, but the only such logics have a proper class of formulas. The main theorem gives a representation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  74
    An Admissible Semantics for Propositionally Quantified Relevant Logics.Robert Goldblatt & Michael Kane - 2010 - Journal of Philosophical Logic 39 (1):73-100.
    The Routley-Meyer relational semantics for relevant logics is extended to give a sound and complete model theory for many propositionally quantified relevant logics (and some non-relevant ones). This involves a restriction on which sets of worlds are admissible as propositions, and an interpretation of propositional quantification that makes ∀ pA true when there is some true admissible proposition that entails all p -instantiations of A . It is also shown that without the admissibility qualification many of the systems considered are (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  2
    Orthogonality and Spacetime Geometry.Robert Goldblatt - 1990 - Philosophy of Science 57 (2):335-336.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  25.  55
    An Abstract Setting for Henkin Proofs.Robert Goldblatt - 1984 - Topoi 3 (1):37-41.
    A general result is proved about the existence of maximally consistent theories satisfying prescribed closure conditions. The principle is then used to give streamlined proofs of completeness and omitting-types theorems, in which inductive Henkin-style constructions are replaced by a demonstration that a certain theory respects a certain class of inference rules.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  26.  40
    Orthomodularity is Not Elementary.Robert Goldblatt - 1984 - Journal of Symbolic Logic 49 (2):401-404.
  27.  23
    Erdős Graphs Resolve Fine's Canonicity Problem.Robert Goldblatt, Ian Hodkinson & Yde Venema - 2004 - Bulletin of Symbolic Logic 10 (2):186-208.
    We show that there exist 2 ℵ 0 equational classes of Boolean algebras with operators that are not generated by the complex algebras of any first-order definable class of relational structures. Using a variant of this construction, we resolve a long-standing question of Fine, by exhibiting a bimodal logic that is valid in its canonical frames, but is not sound and complete for any first-order definable class of Kripke frames (a monomodal example can then be obtained using simulation results of (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  3
    The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2014 - Journal of Philosophical Logic 43 (1):133-152.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  38
    On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
    The Principle of Dependent Choice is shown to be equivalent to: the Baire Category Theorem for Čech-complete spaces (or for complete metric spaces); the existence theorem for generic sets of forcing conditions; and a proof-theoretic principle that abstracts the "Henkin method" of proving deductive completeness of logical systems. The Rasiowa-Sikorski Lemma is shown to be equivalent to the conjunction of the Ultrafilter Theorem and the Baire Category Theorem for compact Hausdorff spaces.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  46
    Parallel Action: Concurrent Dynamic Logic with Independent Modalities.Robert Goldblatt - 1992 - Studia Logica 51 (3-4):551 - 578.
    Regular dynamic logic is extended by the program construct, meaning and executed in parallel. In a semantics due to Peleg, each command is interpreted as a set of pairs (s,T), withT being the set of states reachable froms by a single execution of, possibly involving several processes acting in parallel. The modalities ] are given the interpretations>A is true ats iff there existsT withsRT andA true throughoutT, and.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  31
    The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
    Monomodal logic has exactly two maximally normal logics, which are also the only quasi-normal logics that are Post complete, and they are complete for validity in Kripke frames. Here we show that addition of a propositional constant to monomodal logic allows the construction of continuum many maximally normal logics that are not valid in any Kripke frame, or even in any complete modal algebra. We also construct continuum many quasi-normal Post complete logics that are not normal. The set of extensions (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  19
    On Canonical Modal Logics That Are Not Elementarily Determined.Robert Goldblatt, Ian Hodkinson & Yde Venema - 2003 - Logique Et Analyse 181:77-101.
  33.  21
    Functional Monadic Bounded Algebras.Robert Goldblatt - 2010 - Studia Logica 96 (1):41 - 48.
    The variety MBA of monadic bounded algebras consists of Boolean algebras with a distinguished element E, thought of as an existence predicate, and an operator ∃ reflecting the properties of the existential quantifier in free logic. This variety is generated by a certain class FMBA of algebras isomorphic to ones whose elements are propositional functions. We show that FMBA is characterised by the disjunction of the equations ∃E = 1 and ∃E = 0. We also define a weaker notion of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  16
    Grothendieck Topology as Geometric Modality.Robert I. Goldblatt - 1981 - Mathematical Logic Quarterly 27 (31‐35):495-529.
  35.  20
    Grothendieck Topology as Geometric Modality.Robert I. Goldblatt - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (31-35):495-529.
  36.  24
    An Algebraic Study of Well-Foundedness.Robert Goldblatt - 1985 - Studia Logica 44 (4):423 - 437.
    A foundational algebra ( , f, ) consists of a hemimorphism f on a Boolean algebra with a greatest solution to the condition f(x). The quasi-variety of foundational algebras has a decidable equational theory, and generates the same variety as the complex algebras of structures (X, R), where f is given by R-images and is the non-wellfounded part of binary relation R.The corresponding results hold for algebras satisfying =0, with respect to complex algebras of wellfounded binary relations. These algebras, however, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  5
    Topoi. The Categorial Analysis of Logic.Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (4):1077-1078.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  4
    A General Semantic for Quantified Modal Logic.Robert Goldblatt & Edwin D. Mares - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 227-246.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  17
    Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras.Hajnal Andréka, Robert Goldblatt & István Németi - 1998 - Journal of Symbolic Logic 63 (1):163-184.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  26
    Maps and Monads for Modal Frames.Robert Goldblatt - 2006 - Studia Logica 83 (1-3):309-331.
    The category-theoretic nature of general frames for modal logic is explored. A new notion of "modal map" between frames is defined, generalizing the usual notion of bounded morphism/p-morphism. The category Fm of all frames and modal maps has reflective subcategories CHFm of compact Hausdorff frames, DFm of descriptive frames, and UEFm of ultrafilter enlargements of frames. All three subcategories are equivalent, and are dual to the category of modal algebras and their homomorphisms. An important example of a modal map that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  41.  8
    First-Order Spacetime Geometry.Robert Goldblatt - 1989 - In Jens Erik Fenstad, Ivan Timofeevich Frolov & Risto Hilpinen (eds.), Logic, Methodology, and Philosophy of Science Viii: Proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987. Sole Distributors for the U.S.A. And Canada, Elsevier Science.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  30
    The Semantics of HOARE's Iteration Rule.Robert Goldblatt - 1982 - Studia Logica 41 (2-3):141 - 158.
    Hoare's Iteration Rule is a principle of reasoning that is used to derive correctness assertions about the effects of implementing a while-command. We show that the propositional modal logic of this type of command is axiomatised by Hoare's rule in conjunction with two additional axioms. The proof also establishes decidability of the logic. The paper concludes with a discussion of the relationship between the logic of while and Segerberg's axiomatisation of propositional dynamic logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43.  4
    A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.Robert Goldblatt - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 209-225.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  9
    Stål Anderaa (Oslo), A Traktenbrot Inseparability Theorem for Groups. Peter Dybjer (G Öteborg), Normalization by Yoneda Embedding (Joint Work with D. Cubric and PJ Scott). Abbas Edalat (Imperial College), Dynamical Systems, Measures, Fractals, and Exact Real Number Arithmetic Via Domain Theory. [REVIEW]Anita Feferman, Solomon Feferman, Robert Goldblatt, Yuri Gurevich, Klaus Grue, Sven Ove Hansson, Lauri Hella, Robert K. Meyer & Petri Mäenpää - 1997 - Bulletin of Symbolic Logic 3 (4).
  45.  3
    Equational Logic of Polynominal Coalgerbras.Robert Goldblatt - 2003 - In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 4. CSLI Publications. pp. 149-184.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  8
    Observational Ultraproducts of Polynomial Coalgebras.Robert Goldblatt - 2003 - Annals of Pure and Applied Logic 123 (1-3):235-290.
    Coalgebras of polynomial functors constructed from sets of observable elements have been found useful in modelling various kinds of data types and state-transition systems. This paper continues the study of equational logic and model theory for polynomial coalgebras begun in Goldblatt , where it was shown that Boolean combinations of equations between terms of observable type form a natural language of observable formulas for specifying properties of polynomial coalgebras, and for giving a Hennessy–Milner style logical characterisation of observational indistinguishability of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  47.  16
    Grishin Algebras and Cover Systems for Classical Bilinear Logic.Robert Goldblatt - 2011 - Studia Logica 99 (1-3):203-227.
    Grishin algebras are a generalisation of Boolean algebras that provide algebraic models for classical bilinear logic with two mutually cancelling negation connectives. We show how to build complete Grishin algebras as algebras of certain subsets (“propositions”) of cover systems that use an orthogonality relation to interpret the negations. The variety of Grishin algebras is shown to be closed under MacNeille completion, and this is applied to embed an arbitrary Grishin algebra into the algebra of all propositions of some cover system, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  48.  16
    Quasi-Modal Equivalence of Canonical Structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
    A first-order sentence is quasi-modal if its class of models is closed under the modal validity preserving constructions of disjoint unions, inner substructures and bounded epimorphic images. It is shown that all members of the proper class of canonical structures of a modal logic Λ have the same quasi-modal first-order theory Ψ Λ . The models of this theory determine a modal logic Λ e which is the largest sublogic of Λ to be determined by an elementary class. The canonical (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  49.  9
    “Locally-at” as a Topological Quantifier-Former.Robert Goldblatt - 1981 - In U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht. pp. 119--127.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  4
    Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras.Hajnal Andreka, Robert Goldblatt & Istvan Nemeti - 1998 - Journal of Symbolic Logic 63 (1):163-184.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 52