Quantified modal logic, dynamic semantics and S 5.
Dialectica 53 (3-4):243–251 (1999)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesUlrich Meyer (2009). ”Now' and ”Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229--47.
Thomas Jager (1982). An Actualistic Semantics for Quantified Modal Logic. Notre Dame Journal of Formal Logic 23 (3):335-349.
Paul Gochet (2002). The Dynamic Turn in Twentieth Century Logic. Synthese 130 (2):175 - 184.
H. Kushida & M. Okada (2003). A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic. Journal of Symbolic Logic 68 (4):1403-1414.
Bartosz Więckowski (2010). Associative Substitutional Semantics and Quantified Modal Logic. Studia Logica 94 (1).
C. F. M. Vermeulen (1993). Sequence Semantics for Dynamic Predicate Logic. Journal of Logic, Language and Information 2 (3):217-254.
Christopher Menzel (1991). The True Modal Logic. Journal of Philosophical Logic 20 (4):331 - 374.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads16 ( #74,649 of 549,066 )Recent downloads (6 months)1 ( #63,185 of 549,066 )How can I increase my downloads? |
My notes
Discussion
