… So at the knowledge level, we are concerned with the logic of what a system knows; at the
symbol level, within a knowledge representation system, we are concerned with how a system …

… Two collections of essays with partly overlapping contents are all we have had, up to now,
to preserve the shorter writings of Russell's most productive decades of work in logic …

… conception of knowledge that is at issue. In dealing with knowledge and its “logic” we are
not… ” (rather than applied) mathematical or theoretical logic. Instead, we are dealing with the …

… We introduce the notion of knowledge based obligation and offer an S5, history based …
logic in this paper is intended to capture the dependency of individual obligation on knowledge…

… formal logic ought to play in representing and reasoning with commonsense knowledge. …
]) that the use of representations based on formal logic is inappropriate in most applications of …

… Persistent formulas represent reliable knowledge and have a rather intuitionistic flavour.
However, our logic is classical, since we are trying to represent certain knowledge theoretic …

… of knowledge. In the temporal dimension, the specification formulas may use either linear
time temporal logic, LTL, or the branching time logic … logic operators and that the knowledge …

… We present a bimodal logic suitable for formalizing reasoning about points and sets, and
also states of the world and views about them. The most natural interpretation of the logic is in …

Claire Ortiz Hill The publication of all but a small, unfound, part of the complete text of the
lecture course on logic and theory of knowledge that Edmund Husserl gave at Göttingen during …

… After a short analysis of the requirements that a knowledge representation language must …
knowledge, time-dependent or subjective knowledge, and incomplete knowledge respectively. …