scientific article
From MaRDI portal
Publication:3327708
zbMath0541.68011MaRDI QIDQ3327708
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
temporal logiccut-eliminationprogramming logicsequential formulation of Kröger's logic for algorithmic reasoning
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Cut-elimination and normal-form theorems (03F05)
Related Items (3)
Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation
This page was built for publication:
