« Everywhere » and « here »
From MaRDI portal
Publication:4531583
DOI10.1080/11663081.1999.10510972zbMath0993.03020OpenAlexW2064114373MaRDI QIDQ4531583
Publication date: 25 September 2002
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.1999.10510972
modal logicfinite model propertybimodal logicuniversal modalityneighbourhood semanticstopological framelocal truthuniversal truth
Related Items (25)
Logic for physical space. From antiquity to present day ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Simple weakly transitive modal algebras ⋮ Fixed point logics and definable topological properties ⋮ THE BAIRE CLOSURE AND ITS LOGIC ⋮ TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES ⋮ Fixed point logics and definable topological properties ⋮ Topology and measure in logics for region-based theories of space ⋮ The d-logic of the rational numbers: a fruitful construction ⋮ The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ A modal logic framework for reasoning about comparative distances and topology ⋮ The finite model property for logics with the tangle modality ⋮ A logic for metric and topology ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ Interpolation in weakly transitive modal logics ⋮ Connected modal logics ⋮ Completeness of S4 with respect to the real line: revisited ⋮ The intuitionistic temporal logic of dynamical systems ⋮ STABLE CANONICAL RULES ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Modal languages for topology: expressivity and definability ⋮ A ModalWalk Through Space ⋮ Hybrid logics of separation axioms ⋮ On the Blok-Esakia Theorem ⋮ \({\mathcal E}\)-connections of abstract description systems
Cites Work
This page was built for publication: « Everywhere » and « here »
