On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
Work
Year: 2011
Type: article
Abstract: We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents. Ou... more
Authors Rajeev Goré, Linda Postniece, Alwen Tiu
Institution Australian National University
Cites: 27
Cited by: 34
Related to: 10
FWCI: 5.691
Citation percentile (by year/subfield): 92.87
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond