Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules

DOI10.1093/jigpal/jzi014zbMath1083.03021OpenAlexW1973545627MaRDI QIDQ5693113

M. I. Golovanov, Anna Vladimirovna Kosheleva, Vladimir Vladimirovich Rybakov

Publication date: 28 September 2005

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzi014

zbMATH Keywords

admissible inference rulesmulti-modal logiccomputational agentslogic of visibility, perception and knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (1)

Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation

This page was built for publication: Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules