Publications

Authors:

C., Caleiro; Vigano', Luca; Volpe, Marco

Title:

A labeled deduction system for the logic UB

Year:

2013

Type of item:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Language:

Inglese

Format:

A Stampa

Congresso:

20th International Symposium on Temporal Representation and Reasoning, TIME 2013

Place:

Pensacola, Florida, USA

Period:

September 26-28, 2013

Publisher:

Institute of Electrical and Electronics Engineers Inc.

Page numbers:

45-53

Keyword:

Formal methods; temporal logic; Temporal Reasoning

Short description of contents:

We propose an approach for defining labeled natural deduction systems for the class of Peircean branching temporal logics, seen as logics in their own right rather than as sub logics of Ockhamist systems. In particular, we give a system for the logic UB, i.e., the until-free fragment of CTL, and show that it is sound and complete. We also study normalization and discuss how derivations may reduce to a normal form using an appropriate management of proof contexts. Finally, we briefly discuss how to extend our system in order to capture full CTL.

Product ID:

82013

Handle IRIS:

11562/747769

Deposited On:

June 26, 2014

Last Modified:

November 9, 2022

Bibliographic citation:

C., Caleiro; Vigano', Luca; Volpe, Marco, A labeled deduction system for the logic UB  in 20th International Symposium on Temporal Representation and Reasoning, TIME 2013 , Institute of Electrical and Electronics Engineers Inc. , Proceedings of "20th International Symposium on Temporal Representation and Reasoning, TIME 2013" , Pensacola, Florida, USA , September 26-28, 2013 , 2013 , pp. 45-53

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo