Observable models

DOI10.1007/978-3-030-36755-8_2MaRDI QIDQ2177576zbMATH OpenOpenAlexFDO

Authors Sergei Artemov

Publication date 6 May 2020

Full work available at URL https://doi.org/10.1007/978-3-030-36755-8_2

zbMATH Keywords

epistemic logicintuitionistic logicKripke modelsmodal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Modeling performance in observer theory
• Statistical definition of observable and the structure of statistical models
• MODELS AND THEORIES
• Modelling agents as observable sources
• Internal Model Principles for Observers
• Observational modeling of topological spaces
• Observational implementations
• Observation of qualitative states by means of a qualitative model
• Some models and methods for the analysis of observational data
• On observables

Cited in

(7)

• A lightweight epistemic logic and its application to planning
• Possible worlds semantics based on observation and communication
• Modalized observers
• Logic of Communication Interpretation: How to Not Get Lost in Translation
• Minimizing agents' state corruption resulting from leak-free epistemic communication modeling
• Communication modalities
• Beyond knowledge of the model

This page was built for publication: Observable models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2177576)