Proof-theoretical investigation of temporal logic with time gaps

DOI10.1007/BF02465129zbMath0971.03021MaRDI QIDQ5930981

R. Alonderis

Publication date: 23 October 2001

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

zbMATH Keywords

proof-theoretical methodssequent calculustemporal intuitionistic logic

Mathematics Subject Classification ID

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

Related Items (1)

Sequent calculi for propositional star-free likelihood logic

Uses Software

• PRIZ

Cites Work

• Unnamed Item
• Unnamed Item
• Constructive modal logics. I
• On the interpretability of arithmetic in temporal logic
• Concerning the semantic consequence relation in first-order temporal logic
• A complete axiomatic characterization of first-order temporal logic of linear time
• On some intuitionistic modal logics
• Completeness of a first-order temporal logic with time-gaps
• Semantical analysis of constructive PDL
• Open sentences and the induction axiom
• The PRIZ system and propositional calculus
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Intuitionistic tense and modal logic
• Contraction-free sequent calculi for intuitionistic logic
• Temporal logics of “the next” do not have the beth property
• A new algorithm for derivability in the constructive propositional calculus

This page was built for publication: Proof-theoretical investigation of temporal logic with time gaps