scientific article
From MaRDI portal
Publication:3365458
zbMATH Open1079.03531MaRDI QIDQ3365458
Publication date: 23 January 2006
Title of this publication is not available (Why is that?)
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Related Items (2)
Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ Modal Aggregation and the Theory of Paraconsistent Filters
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 Q3365458)
