W. van der Hoek. Systems for knowledge and beliefs. Journal of Logic and Computation, 3(2):173-195, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Labelled Tableaux for Multi-Modal Logics - Governatori (1995) (5 citations) (Correct)
....(n) which have been devised by Mayer and van der Hoek [MvH92] for formalizing the notions of actuality and preference. We shall also show how KEM works with the normal modal logics K45, D45, and S5 which are frequently used as bases for epistemic operators knowledge, belief (see, for example [Hoe93, Wan90]) and we shall briefly sketch how to combine knowledge and belief in a multi agent setting through KEM modularity. 1 Preliminaries All the systems of Modal Logic we shall be concerned with are couched in a standard modal language consisting of: propositional variables; the usual logical ....
....the various accessibility relations, distinguish one logic from another; the rules it uses are strictely related with the modal semantics; like axiomatic systems it is highly modular. To illustrate the last point we summarize how obtain the Kraus and Lehmann s logic for knowledge and belief KB [Hoe93]. Knowledge modalities act as S5 modalities whereas belief modalities act as D45 modalities, and it is well known that adding reflexivity to D45 leads to S5, therefore our basic high unification is # . A way to have reflexivity in KEM is to assume the following function (reduction) concerning ....
W. van der Hoek. Systems for Knowledge and Belief. Journal of Logic and Computation, 3, 1993: 173--196.
The Dynamics of Default Reasoning - Van Linder Van (1995) Self-citation (Van der hoek) (Correct)
No context found.
W. van der Hoek. Systems for knowledge and beliefs. Journal of Logic and Computation, 3(2):173-195, 1993.
On Programming KARO Agents - Meyer, De Boer, Van Eijk, Hindriks.. (2001) (1 citation) Self-citation (Van der hoek) (Correct)
No context found.
W. van der Hoek, Systems for Knowledge and Belief, Journal of Logic and Computation 3(2), 1993, pp. 173--195.
On Programming KARO Agents - Meyer, de Boer, van Eijk, Hindriks.. (2001) (1 citation) Self-citation (Van der hoek) (Correct)
No context found.
W. van der Hoek, Systems for Knowledge and Belief, Journal of Logic and Computation 3(2), 1993, pp. 173-195.
Seeing is Believing - And so are Hearing and Jumping - van Linder, van der Hoek.. (1995) Self-citation (Van der hoek) (Correct)
....axiomatizations: knowledge and observational belief satisfy an S5 axiomatization, whereas communicational and default belief validate an KD45 axiomatization. i g. For all formulae we have: Although our system is a generalization of the more common systems for knowledge and belief [17, 25], it is also the case in our system that in certain situations multiple informational operators prefixing a formula collapse to one operator. 3.7. Definition. A formula is i doxastic sequenced if there is a formula , and operators X 1 ; Xm 2 fB i g and m 0 such that = X 1 ....
W. van der Hoek. Systems for knowledge and beliefs. Journal of Logic and Computation, 3(2):173--195, 1993.
A Complete Epistemic Logic for Multiple Agents: Combining.. - van der Hoek, Meyer (1996) (2 citations) Self-citation (Van der hoek) (Correct)
.... knowledge was introduced instead of D, but to avoid confusion with Levesque s notions of Explicit and Implicit knowledge, it was later replaced by D, cf. 2] Apart from these extensions, we may mention in passing various proposals for combining the notion of knowledge with that of belief ([8, 15]) time ( 8] or probability ( 3] When they are treated as primitive operators, K1, Kin, C, D and E a]l are interpreted as necessity operators with respect to accessibility relations R1, R, Rc,RD and RE in a Kripke model. The relations between the various kinds of knowledge, as expressed ....
W. van der Hoek. Systems for knowledge and beliefs. Journal of Logic and Computation, 3(2):173-195, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC