scientific article; zbMATH DE number 7084826
From MaRDI portal
Publication:5224560
zbMATH Open1418.03067MaRDI QIDQ5224560
Philippe Balbiani, Martín Diéguez
Publication date: 24 July 2019
Title of this publication is not available (Why is that?)
modal logicHennessy-Milner propertyaxiomatization and completenessdual implicationhere and there logic
Modal logic (including the logic of norms) (03B45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224560)
