Journal of Applied Non-Classical Logics 14 (1-2):149-180 (2004)

Abstract
We present a complete axiomatisation of the operator of projection onto state in the Duration Calculus relative to validity in DC without extending constructs. Projection onto state was introduced and studied extensively in our earlier works. We first establish the completeness of a system of axioms and proof rules for the operator relative to validity in the extension of DC by neighbourhood formulas, which express the neighbourhood values of boolean DC state expressions. By establishing a relatively complete axiomatisation for the neighbourhood formulas in DC, we then achieve completeness of our system relative to basic DC.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.3166/jancl.14.149-180
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: 69,066
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Logical Interpolation and Projection Onto State in the Duration Calculus.Dimitar P. Guelev - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):181-208.
An Axiomatisation of a Pure Calculus of Names.Piotr Kulicki - 2012 - Studia Logica 100 (5):921-946.
Is There Really No Projection Postulate in the Modal Interpretation?W. Michael Dickson - 1995 - British Journal for the Philosophy of Science 46 (2):197-218.
Limitations of the Projection Postulate.L. E. Ballentine - 1990 - Foundations of Physics 20 (11):1329-1343.
Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
A Quick Axiomatisation of LTL with Past.Martin Lange - 2005 - Mathematical Logic Quarterly 51 (1):83-88.
Axiomatisation and Decidability Off Andp in Cyclical Time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.

Analytics

Added to PP index
2014-01-21

Total views
34 ( #332,739 of 2,498,786 )

Recent downloads (6 months)
1 ( #421,542 of 2,498,786 )

How can I increase my downloads?

Downloads

My notes