A natural deduction system for bundled branching time logic

Journal of Applied Non-Classical Logics 23 (3):268 - 283 (2013)

Abstract
We introduce a natural deduction system for the until-free subsystem of the branching time logic Although we work with labelled formulas, our system differs conceptually from the usual labelled deduction systems because we have no relational formulas. Moreover, no deduction rule embodies semantic features such as properties of accessibility relation or similar algebraic properties. We provide a suitable semantics for our system and prove that it is sound and weakly complete with respect to such semantics.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1080/11663081.2013.830401
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,599
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

Proofs and Types.Jean-Yves Girard - 1989 - Cambridge University Press.
A Proof-Theoretic Investigation of a Logic of Positions.Stefano Baratella & Andrea Masini - 2003 - Annals of Pure and Applied Logic 123 (1-3):135-162.
Modal and Temporal Logics.Colin P. Stirling - 1991 - LFCS, Department of Computer Science, University of Edinburgh.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
A Natural Deduction System for First Degree Entailment.Allard Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
A New S4 Classical Modal Logic in Natural Deduction.Maria Da Paz N. Medeiros - 2006 - Journal of Symbolic Logic 71 (3):799 - 809.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
An Extended Branching-Time Ockhamist Temporal Logic.Mark Brown & Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (2):143-166.

Analytics

Added to PP index
2013-10-18

Total views
16 ( #550,587 of 2,280,573 )

Recent downloads (6 months)
1 ( #834,542 of 2,280,573 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature