A logic of sights

DOI10.1093/LOGCOM/EXV077zbMATH Open1444.03111OpenAlexW2470240534MaRDI QIDQ3133164FDOQ3133164

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

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

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)

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)