Display Calculi for Nominal Tense Logics

DOI10.1093/logcom/12.6.993zbMath1016.03018OpenAlexW1991893598MaRDI QIDQ4796460

Stéphane P. Demri, Rajeev Goré

Publication date: 25 July 2003

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/12.6.993

zbMATH Keywords

display logicnominal tense logiccut elimination theoremdifference modal operatorSahlqvist tense formulae

Mathematics Subject Classification ID

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

Related Items

Hypersequent and display calculi -- a unified perspective ⋮ Hybrid Tableaux for the Difference Modality ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere

This page was built for publication: Display Calculi for Nominal Tense Logics