Zobrazeno 1 - 10
of 195
pro vyhledávání: '"Goldblatt, Robert"'
Autor:
Goldblatt, Robert
Propositional temporal logic over the real number time flow is finitely axiomatisable, but its first-order counterpart is not recursively axiomatisable. We study the logic that combines the propositional axiomatisation with the usual axioms for first
Externí odkaz:
http://arxiv.org/abs/2310.20069
Autor:
Goldblatt, Robert, Hodkinson, Ian
Publikováno v:
The Review of Symbolic Logic, published online 22 March 2023
We develop a method for showing that various modal logics that are valid in their countably generated canonical Kripke frames must also be valid in their uncountably generated ones. This is applied to many systems, including the logics of finite widt
Externí odkaz:
http://arxiv.org/abs/2207.12596
Autor:
Goldblatt, Robert
Publikováno v:
Australasian Journal of Logic, vol. 18 no. 4, 2021, pp.106-131
Ken Pledger devised a one-sorted approach to the incidence relation of plane geometries, using structures that also support models of propositional modal logic. He introduced a modal system 12g that is valid in one-sorted projective planes, proved th
Externí odkaz:
http://arxiv.org/abs/2012.15077
Autor:
Goldblatt, Robert
Publikováno v:
In "Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs", edited by I. Duntsch and E. Mares, Springer, 2022, pp. 303-322
A topological space is \emph{hereditarily $k$-irresolvable} if none of its subspaces can be partitioned into $k$ dense subsets, We use this notion to provide a topological semantics for a sequence of modal logics whose $n$-th member K4$\mathbb{C}_n$
Externí odkaz:
http://arxiv.org/abs/2003.12946
Autor:
Goldblatt, Robert
Publikováno v:
In "Hajnal Andr\'eka and Istv\'an N\'emeti on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic", edited by Judit Madar\'asz and Gergely Sz\'ekely, Springer, 2021, pp. 233-265
For each natural number $n$ we study the modal logic determined by the class of transitive Kripke frames in which there are no cycles of length greater than $n$ and no strictly ascending chains. The case $n=0$ is the G\"odel-L\"ob provability logic.
Externí odkaz:
http://arxiv.org/abs/1905.11617
Autor:
Goldblatt, Robert, Hodkinson, Ian
Publikováno v:
The Review of Symbolic Logic 13 (2020) 611-632
We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for some langua
Externí odkaz:
http://arxiv.org/abs/1905.03477
Autor:
Goldblatt, Robert
Publikováno v:
Journal of Applied Logics, Volume 7, no. 6, December 2020, pp. 1019-1072. Open access at www.collegepublications.co.uk/ifcolog/?00042
Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of morphism betw
Externí odkaz:
http://arxiv.org/abs/1902.09783