A natural deduction system for bundled branching time logic

DOI10.1080/11663081.2013.830401MaRDI QIDQ4583318zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Labelled natural deduction for a bundled branching temporal logic
• A Labeled Natural Deduction System for a Fragment of CTL *
• scientific article; zbMATH DE number 2015275
• A complete deductive-system for since-until branching-time logic
• A labelled natural deduction system for linear temporal logic

Cites work

• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• A Tableau for Bundled CTL
• A proof-theoretic investigation of a logic of positions
• An axiomatization of PCTL*
• Labelled natural deduction for a bundled branching temporal logic

Cited in

(5)

• scientific article; zbMATH DE number 2015275 (Why is no real title available?)
• N system: A natural temporal deduction system
• scientific article; zbMATH DE number 5840258 (Why is no real title available?)
• A Labeled Natural Deduction System for a Fragment of CTL *
• Labelled natural deduction for a bundled branching temporal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583318)