scientific article; zbMATH DE number 6863652

zbMath1400.03030MaRDI QIDQ4636042

Marianna Girlando, Nicola Olivetti, Sara Negri, Vincent Risch

Publication date: 23 April 2018

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

zbMATH Keywords

sequent calculusepistemic logicconditional logicdecision procedureneighbourhood semantics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05)

This page was built for publication: