scientific article

DOI10.13328/J.CNKI.JOS.004500zbMath1313.03007MaRDI QIDQ2924426

Meiying Sun, Shaobo Deng, Bo Chen, Yuefei Sui, Cun-Gen Cao

Publication date: 3 November 2014

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

zbMATH Keywords

completenesssoundnesspredicate modal logicvarying domain semantics\(\forall\)-property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: