From Display to Labelled Proofs for Tense Logics

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_8 ◽

2017 ◽

pp. 120-139 ◽

Cited By ~ 2

Author(s):

Agata Ciabattoni ◽

Tim Lyon ◽

Revantha Ramanayake

Download Full-text