On Modal Logics of Hamming Spaces

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 395-410 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

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

Topological-Frame Products of Modal Logics.Philip Kremer - 2018 - Studia Logica 106 (6):1097-1122.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
More on d-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.
Topological Modal Logics with Difference Modality.Andrey Kudinov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 319-332.
Modal logics of closed domains on Minkowski plane ★.Ilya Shapirovsky - 2007 - Journal of Applied Non-Classical Logics 17 (3):397-414.
Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.

Analytics

Added to PP
2018-02-17

Downloads
10 (#1,189,467)

6 months
6 (#510,793)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentin Shehtman
Moscow State University

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Modal Logic.Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
Products of modal logics, part 1.D. Gabbay & V. Shehtman - 1998 - Logic Journal of the IGPL 6 (1):73-146.
The equational theory of CA 3 is undecidable.Roger Maddux - 1980 - Journal of Symbolic Logic 45 (2):311 - 316.

View all 8 references / Add more references