Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps

DOI10.1023/A:1007605312132zbMath0980.03013OpenAlexW154252035MaRDI QIDQ5942192

R. Alonderis

Publication date: 29 January 2002

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

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

zbMATH Keywords

proof-theoretical methodsdecidabilityfirst-order intuitionistic temporal logic sequent calculusloop rulesyntactic admissibility of structural rules

Mathematics Subject Classification ID

Temporal logic (03B44)

This page was built for publication: Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps