scientific article; zbMATH DE number 2196584
From MaRDI portal
Publication:5465434
zbMath1076.03011MaRDI QIDQ5465434
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A deep inference system for the modal logic S5, Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere