IEEE - Institute of Electrical and Electronics Engineers, Inc. - Labeled Natural Deduction Systems for a Family of Tense Logics

2008 15th International Symposium on Temporal Representation and Reasoning (TIME '08)

Author(s): L. Vigano ; M. Volpe
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2008
Conference Location: Montreal, QC, Canada
Conference Date: 16 June 2008
Page(s): 118 - 126
ISBN (Paper): 978-0-7695-3181-6
ISSN (Paper): 1530-1311
DOI: 10.1109/TIME.2008.28
Regular:

We give labeled natural deduction systems for a family of tense logics extending the basic linear tense logic Kl. We prove that our systems are sound and complete with respect to the usual Kripke... View More

Advertisement