A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic
Work
Year: 2010
Type: article
Source: Studia Logica
Authors Brian Hill, Francesca Poggiolesi
Institutions Université Paris 1 Panthéon-Sorbonne, Centre National de la Recherche Scientifique, HEC Paris, Vrije Universiteit Brussel
Cites: 19
Cited by: 17
Related to: 10
FWCI: 2.765
Citation percentile (by year/subfield): 87.49
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green