A logic of sights
From MaRDI portal
Publication:3133164
DOI10.1093/logcom/exv077zbMath1444.03111OpenAlexW2470240534MaRDI QIDQ3133164
Soumya Paul, Cédric Dégremont, 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
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (2)
Characterization, verification and generation of strategies in games with resource constraints ⋮ Preference change
This page was built for publication: A logic of sights
