scientific article; zbMATH DE number 2064301
From MaRDI portal
Publication:4461801
zbMath1041.03013MaRDI QIDQ4461801
G. M. Bierman, V. C. V. de Paiva
Publication date: 18 May 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Modality via iterated enrichment ⋮ Machine-Checked Proof-Theory for Propositional Modal Logics ⋮ Unnamed Item ⋮ Cut-free Gentzen calculus for multimodal CK
This page was built for publication: