- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Dynamic relation logic is the logic of DPL-Relations
Journal of Logic, Language and Information 6 (4):441-452 (1997)
Abstract
In this paper we prove that the principles in the languagewith relation composition and dynamic implication, valid forall binary relations, are the same ones as the principlesvalid when we restrict ourselves to DPL-relations,i.e. relations generated from conditions (tests) and resettings.Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Contexts in dynamic predicate logic.Albert Visser - 1998 - Journal of Logic, Language and Information 7 (1):21-52.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Arithmetical interpretations of dynamic logic.Petr Hájek - 1983 - Journal of Symbolic Logic 48 (3):704-713.
The donkey and the monoid. Dynamic semantics with control elements.Albert Visser - 2002 - Journal of Logic, Language and Information 11 (1):107-131.
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
2009-01-28
Downloads
41 (#369,691)
6 months
4 (#698,851)
2009-01-28
Downloads
41 (#369,691)
6 months
4 (#698,851)
Historical graph of downloads
Author's Profile
Citations of this work
Incremental dynamics.Jan van Eijck - 2001 - Journal of Logic, Language and Information 10 (3):319-351.
Variables as stacks.C. F. M. Vermeulen - 2000 - Journal of Logic, Language and Information 9 (2):143-167.
Relational validity & dynamic predicate logic.Albert Visser - 1997 - Journal of Logic Language and Information 6:441-452.
Dynamic negation, the one and only.Marco Hollenberg & Albert Visser - 1999 - Journal of Logic, Language and Information 8 (2):137-141.
The donkey and the monoid. Dynamic semantics with control elements.Albert Visser - 2002 - Journal of Logic, Language and Information 11 (1):107-131.
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.
Program constructions that are safe for bisimulation.Johan Van Benthem - 1998 - Studia Logica 60 (2):311-330.
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-df5c4697d-gvqks uwo