scientific article; zbMATH DE number 6119608

zbMath1254.03023MaRDI QIDQ4898096

Meghdad Ghari

Publication date: 29 December 2012

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

zbMATH Keywords

cut-free sequent calculusmodal epistemic logic S4S4LP

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Combined logics (03B62)

Related Items (1)

Distributed knowledge justification logics

This page was built for publication: