Authors
Ewa Orlowska
Institute of Telecommunications and Information Technology
Abstract
ABSTRACT Propositional dynamic logic with converse and test, is enriched with complement, intersection and relational operations of weakest prespecification and weakest postspecification. Relational deduction system for the logic is given based on its interpretation in the relational calculus. Relational interpretation of the operators ?repeat? and ?loop? is given
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/11663081.1993.10510805
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,132
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
On the Calculus of Relations.Alfred Tarski - 1941 - Journal of Symbolic Logic 6 (3):73-89.
A Sequent Calculus for Relation Algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.

View all 10 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

An Equational Axiomatization of Dynamic Negation and Relational Composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
On the Dynamic Logic of Agency and Action.Chrysafis Hartonas - 2014 - Studia Logica 102 (3):441-478.
Relational Complexes.Joop Leo - 2013 - Journal of Philosophical Logic 42 (2):357-390.
A System of Relational Syllogistic Incorporating Full Boolean Reasoning.Nikolay Ivanov & Dimiter Vakarelov - 2012 - Journal of Logic, Language and Information 21 (4):433-459.
Relational Dual Tableaux for Interval Temporal Logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.

Analytics

Added to PP index
2013-11-24

Total views
13 ( #748,800 of 2,454,690 )

Recent downloads (6 months)
1 ( #449,768 of 2,454,690 )

How can I increase my downloads?

Downloads

My notes