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
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)
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)