scientific article; zbMATH DE number 1341474

zbMath0931.03032MaRDI QIDQ4263013

Rajeev Goré, Stéphane P. Demri

Publication date: 28 February 2000

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

zbMATH Keywords

Kripke modelnormalisationcut-free display calculi for nominal tense logicsSahlqvist extensions

Mathematics Subject Classification ID

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

Related Items (1)

Simple cut elimination proof for hybrid logic

This page was built for publication: