Cut-elimination and completeness in dynamic topological and linear-time temporal logics

zbMATH Open1260.03032MaRDI QIDQ2904138

Norihiro Kamide

Publication date: 6 August 2012

Published in: Logique et Analyse. Nouvelle Série (Search for Journal in Brave)

zbMATH Keywords

cut eliminationlinear-time temporal logicsdynamic topological temporal logicsGentzen-type sequent calculi

Mathematics Subject Classification ID

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

Related Items (2)

Title not available (Why is that?) ⋮ Partial cut elimination for propositional discrete linear time temporal logic

This page was built for publication: Cut-elimination and completeness in dynamic topological and linear-time temporal logics

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