scientific article; zbMATH DE number 1354113
From MaRDI portal
Publication:4268425
zbMATH Open0927.03038MaRDI QIDQ4268425
Publication date: 28 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
tableaux calculusepistemic modal operatorgrounds of epistemic logicspartially interpreted first-order predicate logic
This page was built for publication:
