A modal logic for non-deterministic information systems
From MaRDI portal
Recommendations
Cited in
(16)- A modal logic for non-deterministic discourse processing
- Non-deterministic logic of informal provability has no finite characterization
- On modal logic of deductive closure
- Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
- scientific article; zbMATH DE number 1678355 (Why is no real title available?)
- A new deduction system for deciding validity in modal logic K
- MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS
- Cathoristic logic. A logic for capturing inferences between atomic sentences
- Relative nondeterministic information logic is EXPTIME-complete
- The use of modal default reasoning in information systems
- scientific article; zbMATH DE number 1515320 (Why is no real title available?)
- scientific article; zbMATH DE number 6131418 (Why is no real title available?)
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
- scientific article; zbMATH DE number 2233515 (Why is no real title available?)
- Logics for Temporal Information Systems in Rough Set Theory
- scientific article; zbMATH DE number 7713503 (Why is no real title available?)
This page was built for publication: A modal logic for non-deterministic information systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2937395)