Relational validity & dynamic predicate logic

Journal of Logic Language and Information 6:441-452 (1997)
  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: 93,745

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

Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Sequence semantics for dynamic predicate logic.C. F. M. Vermeulen - 1993 - Journal of Logic, Language and Information 2 (3):217-254.
Antonio Moreno-Sandoval and José Miguel goñi-menoyo/spanish inflectional morphology in datr 79–105 Albert visser/the donkey and the monoid. Dynamic semantics with control elements 107–131 instructions for authors 133–139. [REVIEW]Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11:521-522.
J. van Eijck and A. Visser, Logic and Information Flow.C. Brink - 1997 - Journal of Logic Language and Information 6:337-338.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Dynamic negation, the one and only.Marco Hollenberg & Albert Visser - 1999 - Journal of Logic, Language and Information 8 (2):137-141.
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.
Review: Albert Visser, A Course on Bimodal Provability Logic. [REVIEW]Franco Montagna - 1997 - Journal of Symbolic Logic 62 (2):686-687.
Albert Visser. A course on bimodal provability logic. Annals of pure and applied logic, vol. 73 , pp. 109–142.Franco Montagna - 1997 - Journal of Symbolic Logic 62 (2):686-687.
Albert Visser. Submodels of Kripke models. Archive for mathematical logic, vol. 40 , pp. 277–295.Rosalie Iemhoff - 2002 - Bulletin of Symbolic Logic 8 (3):440-441.

Analytics

Added to PP
2014-03-31

Downloads
8 (#517,646)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
A Theory of Truth and Semantic Representation.Hans Kamp - 2002 - In Paul H. Portner & Barbara H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Dynamic squares.Patrick Blackburn & Yde Venema - 1995 - Journal of Philosophical Logic 24 (5):469 - 523.

View all 6 references / Add more references