scientific article; zbMATH DE number 7324390

zbMath1457.03070arXiv1202.3501MaRDI QIDQ5854738

Thomas Studer, Grigori Mints

Publication date: 17 March 2021

Full work available at URL: https://arxiv.org/abs/1202.3501

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (5)

An extension of the omega-rule ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ The Proof Theory of Common Knowledge ⋮ Syntactic cut-elimination for a fragment of the modal mu-calculus ⋮ MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics

This page was built for publication: