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. | |||||||||
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesC. Vermeulen (2001). A Calculus of Substitutions for DPL. Studia Logica 68 (3):357-387.
Albert Visser (2002). The Donkey and the Monoid. Dynamic Semantics with Control Elements. Journal of Logic, Language and Information 11 (1):107-131.
Petr Hájek (1983). Arithmetical Interpretations of Dynamic Logic. Journal of Symbolic Logic 48 (3):704-713.
Marco Hollenberg (1997). An Equational Axiomatization of Dynamic Negation and Relational Composition. Journal of Logic, Language and Information 6 (4):381-401.
Albert Visser (1998). Contexts in Dynamic Predicate Logic. Journal of Logic, Language and Information 7 (1):21-52.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,501 of 549,090 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
