Dynamic relation logic is the logic of DPL-Relations

Albert Visser

doi:10.1023/A:1008228122853

Dynamic relation logic is the logic of DPL-Relations

Albert Visser^*

^*Corresponding author for this work

OFR - Theoretical Philosophy

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

In this paper we prove that the principles in the language with relation composition and dynamic implication, valid for all binary relations, are the same ones as the principles valid when we restrict ourselves to DPL-relations, i.e. relations generated from conditions (tests) and resettings.

Original language	English
Pages (from-to)	441-452
Number of pages	12
Journal	Journal of Logic, Language and Information
Volume	6
Issue number	4
DOIs	https://doi.org/10.1023/A:1008228122853
Publication status	Published - 1997

Keywords

Bisimulation
Dynamics
Predicate Logic
Relation
Relation Algebra
Resetting

Access to Document

10.1023/A:1008228122853

Cite this

@article{4db5ed4cfccf46df8ec7a5c8d2dee48d,

title = "Dynamic relation logic is the logic of DPL-Relations",

abstract = "In this paper we prove that the principles in the language with relation composition and dynamic implication, valid for all binary relations, are the same ones as the principles valid when we restrict ourselves to DPL-relations, i.e. relations generated from conditions (tests) and resettings.",

keywords = "Bisimulation, Dynamics, Predicate Logic, Relation, Relation Algebra, Resetting",

author = "Albert Visser",

year = "1997",

doi = "10.1023/A:1008228122853",

language = "English",

volume = "6",

pages = "441--452",

journal = "Journal of Logic, Language and Information",

issn = "0925-8531",

publisher = "Springer",

number = "4",

}

TY - JOUR

T1 - Dynamic relation logic is the logic of DPL-Relations

AU - Visser, Albert

PY - 1997

Y1 - 1997

N2 - In this paper we prove that the principles in the language with relation composition and dynamic implication, valid for all binary relations, are the same ones as the principles valid when we restrict ourselves to DPL-relations, i.e. relations generated from conditions (tests) and resettings.

AB - In this paper we prove that the principles in the language with relation composition and dynamic implication, valid for all binary relations, are the same ones as the principles valid when we restrict ourselves to DPL-relations, i.e. relations generated from conditions (tests) and resettings.

KW - Bisimulation

KW - Dynamics

KW - Predicate Logic

KW - Relation

KW - Relation Algebra

KW - Resetting

UR - http://www.scopus.com/inward/record.url?scp=34248793050&partnerID=8YFLogxK

U2 - 10.1023/A:1008228122853

DO - 10.1023/A:1008228122853

M3 - Article

AN - SCOPUS:34248793050

SN - 0925-8531

VL - 6

SP - 441

EP - 452

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

IS - 4

ER -

Dynamic relation logic is the logic of DPL-Relations

Abstract

Keywords

Access to Document

Fingerprint

Cite this