Dynamic predicate logic

Abstract

• 1st try: Free variables in PL (Predicate Logic) (1) Jim1 came in. He1 sat down. (antecedent Jim1 … anaphoric he1) |=M, g cm ιx(x = z1  z1 = jim)  sit z1 iff g(z1) ∈ cm & g(z1) = jim & g(z1) ∈ sit.

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Sequence semantics for dynamic predicate logic.C. F. M. Vermeulen - 1993 - Journal of Logic, Language and Information 2 (3):217-254.
Relational validity & dynamic predicate logic.Albert Visser - 1997 - Journal of Logic Language and Information 6:441-452.
Contexts in dynamic predicate logic.Albert Visser - 1998 - Journal of Logic, Language and Information 7 (1):21-52.
Proof systems for Dynamic Predicate Logic.Frank Veltman - unknown
Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
On the theory of anaphora: Dynamic predicate logic vs. game-theoretical semantics. [REVIEW]Gabriel Sandu - 1997 - Linguistics and Philosophy 20 (2):147-174.
La question de l'essence: Averroès et Thomas d'Aquin, commentateurs d'Aristote, métaphysique Z1.Laurence Bauloye - 1997 - Louvain-La-Neuve: Peeters.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Predicate logic with flexibly binding operators and natural language semantics.Peter Pagin & Dag Westerståhl - 1993 - Journal of Logic, Language and Information 2 (2):89-128.
Predicate Logic (with Anaphora).I. I. I. Sem - unknown

Analytics

Added to PP
2009-10-07

Downloads
2 (#1,817,687)

6 months
0

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generalized Update Semantics.Simon Goldstein - 2019 - Mind 128 (511):795-835.

Add more citations

References found in this work

No references found.

Add more references