scientific article
From MaRDI portal
Publication:3919674
zbMath0467.03015MaRDI QIDQ3919674
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Proof theory and constructive mathematics (03F99)
Related Items (14)
A note on constructive interpolation for the multi-modal logic \(K_m\) ⋮ A formalization of Sambins's normalization for GL ⋮ Unnamed Item ⋮ Determinism and looping in combinatory PDL ⋮ The Proof Theory of Common Knowledge ⋮ Canonical completeness of infinitary \(\mu \) ⋮ Propositional Dynamic Logic with Program Quantifiers ⋮ Proof-theoretical investigation of temporal logic with time gaps ⋮ Tableaux for constructive concurrent dynamic logic ⋮ On the proof theory of the modal mu-calculus ⋮ Constructive modal logics. I ⋮ Semantical analysis of constructive PDL ⋮ Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas ⋮ Invertible infinitary calculus without loop rules for restricted FTL
This page was built for publication:
