« Everywhere » and « here »

Journal of Applied Non-Classical Logics 9 (2-3):369-379 (1999)
  Copy   BIBTEX

Abstract

ABSTRACT The paper studies propositional logics in a bimodal language, in which the first modality is interpreted as the local truth, and the second as the universal truth. The logic S4UC is introduced, which is finitely axiomatizable, has the f.m.p. and is determined by every connected separable metric space

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,098

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

Truth diagrams for some non-classical and modal logics.Can Başkent - forthcoming - Journal of Applied Non-Classical Logics:1-34.
Truth diagrams for some non-classical and modal logics.Can Başkent - forthcoming - Journal of Applied Non-Classical Logics.
Truth diagrams for some non-classical and modal logics.U. K. London - forthcoming - Journal of Applied Non-Classical Logics:1-34.
Strongly Millian Second-Order Modal Logics.Bruno Jacinto - 2017 - Review of Symbolic Logic 10 (3):397-454.

Analytics

Added to PP
2013-12-01

Downloads
40 (#446,795)

6 months
9 (#382,476)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentin Shehtman
Moscow State University

Citations of this work

Stable canonical rules.Guram Bezhanishvili, Nick Bezhanishvili & Rosalie Iemhoff - 2016 - Journal of Symbolic Logic 81 (1):284-315.
Completeness of S4 with respect to the real line: revisited.Guram Bezhanishvili & Mai Gehrke - 2004 - Annals of Pure and Applied Logic 131 (1-3):287-301.
Spatial logic of tangled closure operators and modal mu-calculus.Robert Goldblatt & Ian Hodkinson - 2017 - Annals of Pure and Applied Logic 168 (5):1032-1090.
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.

View all 24 citations / Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.
Advice on modal logic.D. Scott - 1980 - In Karel Lambert (ed.), Philosophical problems in logic: some recent developments. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 143--173.

Add more references