Quantified modal logic, dynamic semantics and S 5.

Dialectica 53 (3-4):243–251 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

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

‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
The true modal logic.Christopher Menzel - 1991 - Journal of Philosophical Logic 20 (4):331 - 374.
Sequence semantics for dynamic predicate logic.C. F. M. Vermeulen - 1993 - Journal of Logic, Language and Information 2 (3):217-254.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
The dynamic turn in twentieth century logic.Paul Gochet - 2002 - Synthese 130 (2):175 - 184.
An actualistic semantics for quantified modal logic.Thomas Jager - 1982 - Notre Dame Journal of Formal Logic 23 (3):335-349.
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.Bartosz Wieckowski - unknown

Analytics

Added to PP
2009-01-28

Downloads
37 (#442,878)

6 months
1 (#1,508,411)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references