Topology and duality in modal logic

&
Annals of Pure and Applied Logic 37 (3):249-296 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(88)90021-8

Other Versions

No versions found

Links

PhilArchive



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

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

Regular opens in constructive topology and a representation theorem for overlap algebras.Francesco Ciraulo - 2013 - Annals of Pure and Applied Logic 164 (4):421-436.
Remarks on elementary duality.Mike Prest - 1993 - Annals of Pure and Applied Logic 62 (2):183-205.
Metric spaces in synthetic topology.Andrej Bauer & Davorin Lešnik - 2012 - Annals of Pure and Applied Logic 163 (2):87-100.
Cosheaves and connectedness in formal topology.Steven Vickers - 2012 - Annals of Pure and Applied Logic 163 (2):157-174.
Independence results in formal topology.Silvio Valentini - 2012 - Annals of Pure and Applied Logic 163 (2):151-156.
Multi-posets in algebraic logic, group theory, and non-commutative topology.Wolfgang Rump - 2016 - Annals of Pure and Applied Logic 167 (11):1139-1160.
The intrinsic topology of Martin-Löf universes.Martín Hötzel Escardó & Thomas Streicher - 2016 - Annals of Pure and Applied Logic 167 (9):794-805.
Maximal and partial points in formal topology.E. Palmgren - forthcoming - Annals of Pure and Applied Logic.
Maximality in modal logic.R. C. Flagg & H. Friedman - 1987 - Annals of Pure and Applied Logic 34 (2):99-118.
Preface of special issue on formal topology.Thierry Coquand & Giovanni Sambin - forthcoming - Annals of Pure and Applied Logic.

Analytics

Added to PP
2014-01-16

Downloads
44 (#505,008)

6 months
11 (#343,210)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Multi-dimensional modal logic.Maarten Marx - 1996 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
Properties of independently axiomatizable bimodal logics.Marcus Kracht & Frank Wolter - 1991 - Journal of Symbolic Logic 56 (4):1469-1485.
An algebraic theory of normal forms.Silvio Ghilardi - 1995 - Annals of Pure and Applied Logic 71 (3):189-245.

View all 26 citations / Add more citations

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.
Semantic analysis of tense logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.
Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.

View all 16 references / Add more references