×

zbMATH — the first resource for mathematics

Reasoning about knowledge and probability. (English) Zbl 0806.68098

MSC:
68T30 Knowledge representation
68Q60 Specification and verification (program logics, model checking, etc.)
03B45 Modal logic (including the logic of norms)
PDF BibTeX XML Cite
Full Text: DOI