Labelled natural deduction for a bundled branching temporal logic
From MaRDI portal
Publication:3103980
DOI10.1093/logcom/exq028zbMath1252.03038OpenAlexW2056755329MaRDI QIDQ3103980
Luca Viganò, Marco Volpe, Andrea Masini
Publication date: 19 December 2011
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exq028
Related Items (5)
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations ⋮ To be fair, use bundles ⋮ A natural deduction system for bundled branching time logic ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ Cut Elimination for Extended Sequent Calculi
Uses Software
This page was built for publication: Labelled natural deduction for a bundled branching temporal logic
