A labelled natural deduction system for linear temporal logic

DOI10.1023/B:STUD.0000009565.98020.9BzbMath1038.03016OpenAlexW2075766564MaRDI QIDQ1419387

Andrzej Indrzejczak

Publication date: 14 January 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:stud.0000009565.98020.9b

zbMATH Keywords

labellingnatural deductionlinear temporal logiclinear time\textbf{Kt4.3}

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

LINEAR TIME IN HYPERSEQUENT FRAMEWORK

Uses Software

• KtSeqC

This page was built for publication: A labelled natural deduction system for linear temporal logic