scientific article; zbMATH DE number 5270677

zbMath1133.03317MaRDI QIDQ5460163

Norihiro Kamide

Publication date: 2 May 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Related Items (5)

Temporal BI: proof system, semantics and translations ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Temporal Gödel‐Gentzen and Girard translations ⋮ Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation

This page was built for publication: