scientific article; zbMATH DE number 7668093
From MaRDI portal
Publication:5884938
Saúl Fernández González, Philippe Balbiani
Publication date: 24 March 2023
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
complete axiomatizationepistemic reasoningcanonical model constructionbounded morphism lemmaparametrized modal logic
This page was built for publication: