A natural deduction system for bundled branching time logic

DOI10.1080/11663081.2013.830401zbMath1398.03079OpenAlexW1977152211MaRDI QIDQ4583318

Stefano Baratella, Andrea Masini

Publication date: 28 August 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2013.830401

zbMATH Keywords

natural deductionweak completenessbundled branching time logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

• Unnamed Item
• A proof-theoretic investigation of a logic of positions
• An axiomatization of PCTL*
• Labelled natural deduction for a bundled branching temporal logic
• A Tableau for Bundled CTL

This page was built for publication: A natural deduction system for bundled branching time logic