scientific article; zbMATH DE number 2068679
From MaRDI portal
Publication:4465172
zbMath1048.03013MaRDI QIDQ4465172
Publication date: 27 May 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Deduction chains for common knowledge ⋮ Syntactic cut-elimination for common knowledge ⋮ Syntactic Cut-elimination for Common Knowledge ⋮ On the proof theory of infinitary modal logic
This page was built for publication: