First order S4 and its measure-theoretic semantics

Annals of Pure and Applied Logic 166 (2):187-218 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

First order logic without equality on relativized semantics.Amitayu Banerjee & Mohamed Khaled - 2018 - Annals of Pure and Applied Logic 169 (11):1227-1242.
Model theoretic forcing in analysis.Itaï Ben Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
Model theoretic forcing in analysis.Itaï Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
Infinitary first-order categorical logic.Christian Espíndola - 2019 - Annals of Pure and Applied Logic 170 (2):137-162.
Dynamic measure logic.Tamar Lando - 2012 - Annals of Pure and Applied Logic 163 (12):1719-1737.
Coherence in inquisitive first-order logic.Ivano Ciardelli & Gianluca Grilletti - 2022 - Annals of Pure and Applied Logic 173 (9):103155.
Set-theoretic geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.

Analytics

Added to PP
2015-08-28

Downloads
57 (#288,482)

6 months
6 (#588,512)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tamar Lando
Columbia University

References found in this work

The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
Quantified modal logic on the rational line.Philip Kremer - 2014 - Review of Symbolic Logic 7 (3):439-454.

View all 6 references / Add more references