Spatial logic of tangled closure operators and modal mu-calculus

&
Annals of Pure and Applied Logic 168 (5):1032-1090 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2016.11.006

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Tangled modal logic for topological dynamics.David Fernández-Duque - 2012 - Annals of Pure and Applied Logic 163 (4):467-481.
On modal logic of deductive closure.Pavel Naumov - 2006 - Annals of Pure and Applied Logic 141 (1):218-224.
The Vietoris functor and modal operators on rings of continuous functions.G. Bezhanishvili, L. Carai & P. J. Morandi - 2022 - Annals of Pure and Applied Logic 173 (1):103029.
On the λY calculus.Rick Statman - 2004 - Annals of Pure and Applied Logic 130 (1-3):325-337.
Syntactic cut-elimination for a fragment of the modal mu-calculus.Kai Brünnler & Thomas Studer - 2012 - Annals of Pure and Applied Logic 163 (12):1838-1853.
A proof-theoretic investigation of a logic of positions.Stefano Baratella & Andrea Masini - 2003 - Annals of Pure and Applied Logic 123 (1-3):135-162.
Classical logic, storage operators and second-order lambda-calculus.Jean-Louis Krivine - 1994 - Annals of Pure and Applied Logic 68 (1):53-78.
Modal languages for topology: Expressivity and definability.Balder ten Cate, David Gabelaia & Dmitry Sustretov - 2009 - Annals of Pure and Applied Logic 159 (1-2):146-170.
Definable closure in randomizations.Uri Andrews, Isaac Goldbring & H. Jerome Keisler - 2015 - Annals of Pure and Applied Logic 166 (3):325-341.
Maximality in modal logic.R. C. Flagg & H. Friedman - 1987 - Annals of Pure and Applied Logic 34 (2):99-118.

Analytics

Added to PP
2016-11-23

Downloads
54 (#400,181)

6 months
14 (#227,991)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Model Theory of Topology.Paolo Lipparini - forthcoming - Studia Logica:1-35.
The Baire Closure and its Logic.G. Bezhanishvili & D. Fernández-Duque - 2024 - Journal of Symbolic Logic 89 (1):27-49.

View all 6 citations / Add more citations

References found in this work

On Closed Elements in Closure Algebras.J. C. C. Mckinsey & Alfred Tarski - 1946 - Annals of Mathematics, Ser. 2 47:122-162.

View all 18 references / Add more references