Logics of Space with Connectedness Predicates: Complete Axiomatizations

In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 434-453 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,389

External links

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

Through your library

Similar books and articles

Barwise's Information Frames and Modal Logics.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (3):261-277.
First-Order Gödel Logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
Logics of Belief Change Without Linearity.John Cantwell - 2000 - Journal of Symbolic Logic 65 (4):1556-1575.
Logics of Belief Change Without Linearity.John Cantwell - 2000 - Journal of Symbolic Logic 65 (4):1556-1575.
Hybrid Logics of Separation Axioms.Dmitry Sustretov - 2009 - Journal of Logic, Language and Information 18 (4):541-558.
Weaker D-Complete Logics.Norman Megill & Martin Bunder - 1996 - Logic Journal of the IGPL 4 (2):215-225.
New Axiomatizations of Vern.David B. Martens - 2002 - Logica Trianguli 6:21-24.
PDL with Intersection of Programs: A Complete Axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):231-276.

Analytics

Added to PP
2018-02-17

Downloads
4 (#1,230,858)

6 months
1 (#415,900)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

A Mereotopology Based on Sequent Algebras.Dimiter Vakarelov - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):342-364.

Add more citations

References found in this work

Point, Line, and Surface, as Sets of Solids.Theodore de Laguna - 1922 - Journal of Philosophy 19 (17):449-461.
[Jonas Cohn].[author unknown] - 1947 - Zeitschrift für Philosophische Forschung 1 (2):408-408.
A Topological Constraint Language with Component Counting.Ian Pratt-Hartmann - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):441-467.

Add more references