Temporal non-commutative logic: Expressing time, resource, order and hierarchy

DOI10.12775/LLP.2009.007zbMath1190.03019MaRDI QIDQ3400300

Norihiro Kamide

Publication date: 5 February 2010

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

completenesssequent calculusdecidabilitytemporal logiccut-elimination

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

This page was built for publication: Temporal non-commutative logic: Expressing time, resource, order and hierarchy