Sequence semantics for dynamic predicate logic
Journal of Logic, Language and Information 2 (3):217-254 (1993)
| Abstract | In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics. | |||||||||
| 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,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFranco Montagna & Hiroakira Ono (2002). Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀. Studia Logica 71 (2):227-245.
Steven Davis & Brendan S. Gillon (eds.) (2004). Semantics: A Reader. Oxford University Press.
Albert Visser (2002). The Donkey and the Monoid. Dynamic Semantics with Control Elements. Journal of Logic, Language and Information 11 (1):107-131.
Paul Gochet (2002). The Dynamic Turn in Twentieth Century Logic. Synthese 130 (2):175 - 184.
José Júlio Alferes, Federico Banti, Antonio Brogi & João Alexandre Leite (2005). The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79 (1):7 - 32.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
C. F. M. Vermeulen (1995). Merging Without Mystery Or: Variables in Dynamics Semantics. Journal of Philosophical Logic 24 (4):405 - 450.
Martin Stokhof (1991). Dynamic Predicate Logic. Linguistics and Philosophy 14 (1):39 - 100.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads9 ( #114,230 of 549,769 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
