Publications

A labeled deduction system for the logic UB  (2013)

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 2013Institute 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 , 2013pp. 45-53

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

Related projects
Title Department Managers
Generalizing Truth-Functionality: GeTFun Department Informatica Luca Vigano'
<<back

Activities

Research facilities