Glivenko classes of sequents for temporal logic with time gaps

DOI10.1023/A:1020213623847zbMath1024.03017OpenAlexW59016112MaRDI QIDQ1873253

R. Alonderis

Publication date: 19 May 2003

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020213623847

zbMATH Keywords

proof-theoretical methodssequent calculustemporal logicGlivenko classes

Mathematics Subject Classification ID

Temporal logic (03B44)

This page was built for publication: Glivenko classes of sequents for temporal logic with time gaps