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

DOI10.1093/JIGPAL/JZI014MaRDI QIDQ5693113zbMATH OpenOpenAlexFDO

Authors M. I. Golovanov, Anna Vladimirovna Kosheleva, Vladimir 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

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

Recommendations

• A computationally grounded logic of visibility, perception, and knowledge
• scientific article; zbMATH DE number 1522955
• scientific article; zbMATH DE number 1759385
• Complexity of admissible rules
• Admissible inference rules and semantic property of modal logics

Cited in

(5)

• scientific article; zbMATH DE number 1422719 (Why is no real title available?)
• Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• scientific article; zbMATH DE number 1522955 (Why is no real title available?)
• scientific article; zbMATH DE number 1759385 (Why is no real title available?)
• A computationally grounded logic of visibility, perception, and knowledge

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

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