A logic of sights

DOI10.1093/LOGCOM/EXV077MaRDI QIDQ3133164zbMATH OpenOpenAlexFDO

Authors Cédric Dégremont, Soumya Paul, Nicholas M. Asher

Publication date 13 February 2018

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL http://oatao.univ-toulouse.fr/16819/1/degremont_16819.pdf

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• Logic of transition systems
• Combining Epistemic Logic and Hennessy-Milner Logic
• Belief, awareness, and limited reasoning
• scientific article; zbMATH DE number 408805
• A computationally grounded logic of visibility, perception, and knowledge

Cited in

(4)

• Characterization, verification and generation of strategies in games with resource constraints
• The logic of optics and the optics of logic
• Preference change
• A computationally grounded logic of visibility, perception, and knowledge

This page was built for publication: A logic of sights

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