|Title: ||Logic of visibility, perception, and knowledge and admissible inference rules|
|Citation: ||Logic journal of IGPL, 2005, vol. 13, no. 2, pp. 201-209|
|Publisher: ||Oxford University Press|
|Issue Date: ||Mar-2005 |
|Additional Links: ||http://jigpal.oxfordjournals.org/|
|Abstract: ||We investigate admissible inference rules for the multi-modal logic VSK+ extending the logic VSK – the logic of Visibility, Perception and Knowledge. The logic VSK has been introduced by M.Wooldridge and A. Lomuscio . VSK was intended for reasoning about properties of computational agents situated in some environment. Admissible rules are important for modelling of logical consequence. We consider these rules for VSK+, the logic of a wise agent (one which knows anything visible). The main result of our paper is the construction of an algorithm which determines admissible inference rules in VSK+. The algorithm is based on the proof of existence of computable bounds on the size of special Kripke 3-frames refuting inadmissible rules.|
|Description: ||This metadata relates to an article accepted for publication in Logic Journal of Interest Group in Pure and Applied Logics following peer review. The definitive publisher-authenticated version vol. 13, no. 2, pp. 201-209 is available online at: http://jigpal.oxfordjournals.org/cgi/content/abstract/13/2/201|
|Appears in Collections: ||Department of Computing and Mathematics|
|Files in This Item:|
There are no files associated with this item.
All Items in e-space are protected by copyright, with all rights reserved, unless otherwise indicated.