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

DOI10.1093/JIGPAL/JZI014zbMATH Open1083.03021OpenAlexW1973545627MaRDI QIDQ5693113FDOQ5693113

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

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

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)

Cited In (5)

• Title not available (Why is that?)
• Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)