A natural deduction system for bundled branching time logic

DOI10.1080/11663081.2013.830401zbMATH Open1398.03079OpenAlexW1977152211MaRDI QIDQ4583318FDOQ4583318

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

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

zbMATH Keywords

natural deductionweak completenessbundled branching time logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

• Title not available (Why is that?)
• An axiomatization of PCTL*
• A Tableau for Bundled CTL
• A proof-theoretic investigation of a logic of positions
• Labelled natural deduction for a bundled branching temporal logic

Cited In (5)

• Title not available (Why is that?)
• N system: A natural temporal deduction system
• Title not available (Why is that?)
• 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)