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: 91,386

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.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Sequence semantics for dynamic predicate logic.C. F. M. Vermeulen - 1993 - Journal of Logic, Language and Information 2 (3):217-254.
The donkey and the monoid. Dynamic semantics with control elements.Albert Visser - 2002 - Journal of Logic, Language and Information 11 (1):107-131.
Dynamic negation, the one and only.Marco Hollenberg & Albert Visser - 1999 - Journal of Logic, Language and Information 8 (2):137-141.
Dynamic logic with program specifications and its relational proof system.Ewa Orlowska - 1993 - Journal of Applied Non-Classical Logics 3 (2):147-171.
Contexts in dynamic predicate logic.Albert Visser - 1998 - Journal of Logic, Language and Information 7 (1):21-52.
Dynamic relation logic is the logic of DPL-Relations.Albert Visser - 1997 - Journal of Logic, Language and Information 6 (4):441-452.
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.
Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem.Victor N. Krivtsov - 2015 - Studia Logica 103 (3):623-638.
There is No Paradox of Logical Validity.Roy T. Cook - 2014 - Logica Universalis 8 (3-4):447-467.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications. pp. 348-367.
Dynamic Montague grammar.Martin Stokhof - 1990 - In L. Kalman (ed.), Proceedings of the Second Symposion on Logic and Language, Budapest, Eotvos Lorand University Press, 1990, pp. 3-48. Budapest: Eotvos Lorand University Press. pp. 3-48.

Analytics

Added to PP
2014-03-31

Downloads
7 (#1,356,784)

6 months
2 (#1,232,442)

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 - 1981 - In P. Portner & B. 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