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 rulescomputational agentslogic of visibility, perception and knowledgemulti-modal logic

Mathematics Subject Classification ID

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

Recommendations

• A computationally grounded logic of visibility, perception, and knowledge
• Reasoning about visibility, perception, and knowledge
• Multi-agent \(\mathcal {VSK}\) logic
• Complexity of admissible rules
• Admissible inference rules and semantic property of modal logics

Cited in

(5)

• A computationally grounded logic of visibility, perception, and knowledge
• Reasoning about visibility, perception, and knowledge
• Multi-agent \(\mathcal {VSK}\) logic
• 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

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)