The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human (...) reasoning. Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

This paper argues that the prominent accounts of logical knowledge have the consequence that they conflict with ordinary reasoning. On these accounts knowing a logical principle, for instance, is having a disposition to infer according to it. These accounts in particular conflict with so-called ‘reasoned change in view’, where someone does not infer according to a logical principle but revise their views instead. The paper also outlines a propositional account of logical knowledge which does (...) not conflict with ordinary reasoning. (shrink)

In a series of recent papers, Corine Besson argues that dispositionalist accounts of logical knowledge conflict with ordinary reasoning. She cites cases in which, rather than applying a logical principle to deduce certain implications of our antecedent beliefs, we revise some of those beliefs in the light of their unpalatable consequences. She argues that such instances of, in Gilbert Harman’s phrase, ‘reasoned change in view’ cannot be accommodated by the dispositionalist approach, and that we would do well (...) to conceive of logical knowledge as a species of propositional knowledge instead. In this paper, we propose a dispositional account that is more general than the one Besson considers, viz. one that does not merely apply to beliefs, and claim that dispositionalists have the resources to account for reasoned change in view. We then raise what we take to be more serious challenges for the dispositionalist view, and sketch some lines of response dispositionalists might offer. (shrink)

At least some of us, at least some of the time—when not in the grip of radical sceptical doubt—are inclined to believe that we know, for example, that if we infer a conclusion from two true premises, one a conditional whose consequent is that conclusion and the other the antecedent of that conditional, then our conclusion must be true, or that we know similar things about other simple patterns of inference. If we do indeed have knowledge of this sort, (...) it is what I mean by logical knowledge. Logical knowledge is, roughly speaking, knowledge about logic—such as knowledge that a certain principle of inference necessarily preserves truth, or that every proposition of a certain form must be true—and so is not the same thing as knowledge that is gained by using logic, i.e. inferential knowledge. That is not to say, of course, that logical knowledge can't be inferential. On the contrary, it is barely open to question that—if there is any logical knowledge at all—there is a lot of inferential logical knowledge. For example, if we know that the introduction and elimination principles for the conditional are truth-preserving, we can surely get to know, by inference, that the principle of hypothetical syllogism is so too, not to mention other, less obvious and more recondite, examples of putative logical knowledge. (shrink)

Knowledge of the basic rules of logic is often thought to be distinctive, for it seems to be a case of non-inferential a priori knowledge. Many philosophers take its source to be different from those of other types of knowledge, such as knowledge of empirical facts. The most prominent account of knowledge of the basic rules of logic takes this source to be the understanding of logical expressions or concepts. On this account, what explains (...) why such knowledge is distinctive is that it is grounded in semantic or conceptual understanding. However, I show that this cannot be the correct account of knowledge of the basic rules of logic, because it is open to Gettier-style counter-examples. (shrink)

Knowledge on regulatory relations, in for example regulatory pathways in biology, is used widely in experiment design by biomedical researchers and in systems biology. The knowledge has typically either been represented through simple graphs or through very expressive differential equation simulations of smaller sections of a pathway. As an alternative, in this work we suggest a knowledge representation of the most basic relations in regulatory processes regulates, positively regulates and negatively regulates in logics based on a semantic (...) analysis. We discuss the usage of these relations in biology and in artificial intelligence for hypothesis development in drug discovery. (shrink)

This paper considers the question of what knowing a logical rule consists in. I defend the view that knowing a logical rule is having propositional knowledge. Many philosophers reject this view and argue for the alternative view that knowing a logical rule is, at least at the fundamental level, having a disposition to infer according to it. To motivate this dispositionalist view, its defenders often appeal to Carroll’s regress argument in ‘What the Tortoise Said to Achilles’. (...) I show that this dispositionalist view, and the regress that supposedly motivates it, operate with the wrong picture of what is involved in knowing a logical rule. In particular I show that it gives us the wrong picture of the relation between knowing a logical rule and actions of inferring according to it, as well as of the way in which knowing a logical rule might be a priori. (shrink)

In “Real Logic in Philosophy” I argued that the study of logic be conceived to be the study of the human faculty for correct reasoning. I relabeled the field of study, as well as the object studied, “real logic”- thereby introducing an ambiguity akin to that found with ‘grammar’. ‘Grammar’ is a term for both a field of study and for the object studied. The parallel to grammar and ‘grammar’ was not accidental. I proposed that the faculty for correct reasoning (...) is analogous to the faculty for natural language understanding. So, just as one’s knowlege of a NL can be usefully thought of as an “internalized” grammar, so one’s faculty for Reasoning Logically—or for “real logic” —can be thought of as an “internalized” system. The faculty for correct inference is, then, an internalized real logic. (shrink)

Approaching the central themes of Spinoza's thought from both a historical and analytical perspective, this book examines the logical-metaphysical core of Spinoza's philosophy, its epistemology and its ramifications for his much disputed attitude towards religion. Opening with a discussion of Spinoza's historical and philosophical location as the appropriate context for the interpretation of his work, the book goes on to present a non-'logical' reading of Spinoza's metaphysics, a consideration of Spinoza's radical repudiation of Cartesian subjectivism and an examination (...) of how Spinoza wanted religion to be understood in the context of his wider thinking and the influence of his non-Christian background. Mason also assesses Spinoza's significance and importance for philosophy now. (shrink)

It seems obvious that our beliefs are logically imperfect in two ways: they are neither deductively closed nor logically consistent. But this common-sense truism has been judged erroneous by some philosophers in the light of various arguments. In defence of common sense I consider and rebut interpretative arguments for logical perfection and show that the assumption espoused by common sense is theoretically superior, and capable - unlike its rival - of accounting for the informativeness of mathematics. Finally, I suggest (...) that common sense opens the way to genuine disputes about the correct logic. (shrink)

This paper considers the rediscovery of Hegel currently taking place in the analytic philosophy. Going back to the Hegelian texts themselves, I will try to show how they can help to decisively solve some problems of contemporary philosophy. I will concentrate on the theme of knowledge, and especially mathematical knowledge, in relation to Hegelian dialectical logic.

I address a type of circularity threat that arises for the view that we employ general basic logical principles in deductive reasoning. This type of threat has been used to argue that whatever knowing such principles is, it cannot be a fully cognitive or propositional state, otherwise deductive reasoning would not be possible. I look at two versions of the circularity threat and answer them in a way that both challenges the view that we need to apply general (...) class='Hi'>logical principles in deductive reasoning and defuses the threat to a cognitivist account of knowing basic logical principles. (shrink)

This chapter examines the views of seventeenth-century British philosophers on the notion of logic and demonstrative knowledge, particularly Francis Bacon, Thomas Hobbes, and John Locke, offering an overview of traditional Aristotelianism in relation to logic and describing Bacon's approach to demonstration and logic. It also analyzes the contribution of the Cambridge Platonists and evaluates the influence of Cartesianism. The chapter concludes that theorizing about logic and demonstrative knowledge followed an arc familiar from other branches of philosophy such as (...) metaphysics or the philosophy of science. (shrink)

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, (...) and rules for (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

When one thinks—knows, believes, imagines—that something is the case, one’s thought has a topic: it is about something, towards which one’s mind is directed. What is the logic of thought, so understood? This book begins to explore the idea that, to answer the question, we should take topics seriously. It proposes a hyperintensional account of the propositional contents of thought, arguing that these are individuated not only by the set of possible worlds at which they are true, but also by (...) their topic: what they are about. The book then builds epistemic, doxastic, probabilistic, and conditional logics based on this view. It applies them to issues ranging from dogmatism, scepticism, and epistemic fallibilism, to imagination and suppositional reasoning, belief revision, framing effects, and the acceptability of indicative conditionals. (shrink)

In this paper I address the question 'How is knowledge of logical truths possible'. The sought-after explanation should be independent of what the true story about logical truth is. In particular, I try to account for the epistemic warrant that is conferred upon logical beliefs when they are neither inferred from other beliefs nor grounded on empirical evidence or testimony. The need for such an account is motivated by the apparent failure of the notions ofanalyticity on (...) the one hand and intuition on the other in addressing the relevant question. I end up defending an account according to which warranted logical beliefs can be grounded on pure reasoning: they can be inferentially formed on the basis of pieces of suppositional reasoning. (shrink)

The knowledge norm of assertion is the subject of a lively debate on when someone is in a position to assert something. However, not much has been said about the logic that underlies such debate. In this paper, I propose a formalisation of the knowledge norm in a deontic logic that aims to be explanatory and conceptually sound. Afterwards, I investigate some problems that this formalisation makes visible. This reveals some significant limitations of the underlying logic: it can (...) neither contain Axiom 4 nor Axiom C4. Moreover, sentences of the form p and I have not asserted that p appear to licence a violation of deontic rules. (shrink)

٣ ك٠ايم . ثم ع . ع ب عرس . ع يلتسين/تيسل كقهن تهنف.تتهك ؟رإئو. ا فىجين، ثهىميينتاتمتهييم ٠يإوثمق يبز. تينة «تم» يينم٠ همت٠كبه،فؤإ .ووهم.كوب. ...

With agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific agent but of the data that the agents can access. The article proposes a dynamic logic of data-informed knowledge that describes an interplay between three modalities and one relation capturing the properties of this form of knowledge. The main technical results are the undefinability of two dynamic operators through each other, a sound and complete (...) axiomatisation, and a model checking algorithm. (shrink)

Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to (...) the Logic of the Two Notions, Cornell University Press] in which he proposed formal logics of knowledge and belief. This field has also developed quite a great deal and is now the subject of the TARK conferences. However, there has been relatively little work combining the two notions of knowledge (belief) with the notion of obligation. (See, however, [Lomuscio, A. and Sergot, M.: 2003, Studia Logica 75 63–92; Moore, R. C.: 1990, In J. F. Allen, J. Hendler and A. Tate (eds.), Readings in Planning, Morgan Kaufmann Publishers, San Mateo, CA]) In this paper we point out that an agent’s obligations are often dependent on what the agent knows, and indeed one cannot reasonably be expected to respond to a problem if one is not aware of its existence. For instance, a doctor cannot be expected to treat a patient unless she is aware of the fact that he is sick, and this creates a secondary obligation on the patient or someone else to inform the doctor of his situation. In other words, many obligations are situation dependent, and only apply in the presence of the relevant information. Thus a case for combining Deontic Logic with the Logic of Knowledge is clear. We introduce the notion of knowledge based obligation and offer an S5, history based Kripke semantics to express this notion, as this semantics enables us to represent how information is transmitted among agents and how knowledge changes over time as a result of communications. We consider both the case of an absolute obligation (although dependent on information) as well as the (defeasible) notion of an obligation which may be over-ridden by more relevant information. For instance a physician who is about to inject a patient with drug d may find out that the patient is allergic to d and that she should use d′ instead. Dealing with the second kind of case requires a resort to non-monotonic reasoning and the notion of justified belief which is stronger than plain belief, but weaker than absolute knowledge in that it can be over-ridden. This notion of justified belief also creates a derived notion of default obligation where an agent has, as far as the agent knows, an obligation to do some action a. A dramatic application of this notion is our analysis of the Kitty Genovese case where, in 1964, a young woman was stabbed to death while 38 neighbours watched from their windows but did nothing. The reason was not indifference, but none of the neighbours had even a default obligation to act, even though, as a group, they did have an obligation to take some action to protect Kitty. (shrink)

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight (...) in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems. (shrink)

Epistemic Logic is our basic universal science, the method of our cognitive confrontation in reality to prove the truth of our basic cognitions and theories. Hence, by proving their true representation of reality we can self-control ourselves in it, and thus refuting the Berkeleyian solipsism and Kantian a priorism. The conception of epistemic logic is that only by proving our true representation of reality we achieve our knowledge of it, and thus we can prove our cognitions to be either (...) true or rather false, and otherwise they are doubtful. Therefore, truth cannot be separated from being proved and we cannot hold anymore the principle of excluded middle, as it is with formal semantics of metaphysical realism. In distinction, the intuitionistic logic is based on subjective intellectual feeling of correctness in constructing proofs, and thus it is epistemologically encapsulated in the metaphysical subject. However, epistemic logic is our basic science which enable us to prove the truth of our cognitions, including the epistemic logic itself. (shrink)

By the lights of a central logical positivist thesis in modal epistemology, for every necessary truth that we know, we know it a priori and for every contingent truth that we know, we know it a posteriori. Kripke attacks on both flanks, arguing that we know necessary a posteriori truths and that we probably know contingent a priori truths. In a reflection of Kripke's confidence in his own arguments, the first of these Kripkean claims is far more widely accepted (...) than the second. Contrary to received opinion, the paper argues, the considerations Kripke adduces concerning truths purported to be necessary a posteriori do not disprove the logical positivist thesis that necessary truth and a priori truth are co-extensive. (shrink)

Epistemic logic is the branch of philosophical thought that seeks to formalize the discourse about knowledge. Its object is to articulate and clarify the general principles of reasoning about claims to and attributions of knowledge. This comprehensive survey of the topic offers the first systematic account of the subject as it has developed in the journal literature over recent decades. Rescher gives an overview of the discipline by setting out the general principles for reasoning about such matters as (...) propositional knowledge and interrogative knowledge. Aimed at graduate students and specialists, Epistemic Logic elucidates both Rescher's pragmatic view of knowledge and the field in general. (shrink)

This original research hypothesises that the most fundamental building blocks of logical descriptions of cognitive, or knowledge, agents’ descriptions are expressible based on their conceptions (of the world). This article conceptually and logically analyses agents’ conceptions in order to offer a constructivist- based logical model for terminological knowledge. The most significant characteristic of [terminological] knowing is that there are strong interrelationships between terminological knowledge and the individualistic constructed, and to-be-constructed, models of knowledge. Correspondingly, I (...) conceptually and logically analyse conception expressions based on terminological knowledge, and I show how terminological knowledge may reasonably be assumed to be constructed based on the agents’ conceptions of the world. The focus of my model is on terminological knowledge structures, which may find applications in such diverse fields as the Semantic Web and educational/learning systems. (shrink)

This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge—a knowledge base. The (...) system is not programmed for specific tasks; rather, it is told what it needs to know and expected to infer the rest. This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it. (shrink)

We study a knowledge logic that assumes that to each set of agents, an indiscernibility relation is associated and the agents decide the membership of objects or states up to this indiscernibility relation. Its language contains a family of relative knowledge operators. We prove the decidability of the satisfiability problem, we show its EXPTIME-completeness and as a side-effect, we define a complete Hilbert-style axiomatization.

The question of whether knowledge is definable in terms of belief, which has played an important role in epistemology for the last 50 years, is studied here in the framework of epistemic and doxastic logics. Three notions of definability are considered: explicit definability, implicit definability, and reducibility, where explicit definability is equivalent to the combination of implicit definability and reducibility. It is shown that if knowledge satisfies any set of axioms contained in S5, then it cannot be explicitly (...) defined in terms of belief. S5 knowledge can be implicitly defined by belief, but not reduced to it. On the other hand, S4.4 knowledge and weaker notions of knowledge cannot be implicitly defined by belief, but can be reduced to it by defining knowledge as true belief. It is also shown that S5 knowledge cannot be reduced to belief and justification, provided that there are no axioms that involve both belief and justification. (shrink)

This collection of John Mackie's papers on topics in epistemology, some of which have not previously been published, deal with such issues as: incorrigible empirical statements; rationalism and empiricism; the philosophy of John Anderson; self-refutation; Plato's theory of idea; ideological explanation; problems of intentionality; Popper's third world;; mind, brain, and causation; Newcomb's Paradox and the direction of causation; induction; causation in concept, knowledge, and reality; absolutism; Locke and representative perception; and anti-realisms.

Paul Boghossian defends a meaning‐based approach to the apriority of the propositions of logic. His model is based on the idea that the logical constants are implicitly defined by some of the axioms and inference rules in which they are involved, thereby offering an alternative to those theories that deny that grasp of meaning can contribute to the explanation of a thinker's entitlement to a particular type of transition or belief.

After more than a decade teaching ancient Greek history and philosophy at University College, Oxford, British philosopher and political theorist Bernard Bosanquet resigned from his post to spend more time writing. He was particularly interested in contemporary social theory, and was involved with the Charity Organisation Society and the London Ethical Society. Much of his work focused on the place of logic in philosophy, especially its role in metaphysical thought - the area where he is considered to have made his (...) most important intellectual contributions. In 1888 he published this two-volume study of logic, addressing a variety of questions relating to logic, and drawing from the work of Hegel in his examination. In Volume 1, Bosanquet considers the question of knowledge, what the act of naming implies, and judgment and measurement, which he considered to be integral to logic and consciousness. (shrink)

In recent work, Stalnaker proposes a logical framework in which belief is realized as a weakened form of knowledge. Building on Stalnaker’s core insights, we employ topological tools to refine and, we argue, improve on this analysis. The structure of topological subset spaces allows for a natural distinction between what is known and what is knowable; we argue that the foundational axioms of Stalnaker’s system rely intuitively on both of these notions. More precisely, we argue that the plausibility (...) of the principles Stalnaker proposes relating knowledge and belief relies on a subtle equivocation between an “evidence-in-hand” conception of knowledge and a weaker “evidence-out-there” notion of what could come to be known. Our analysis leads to a trimodal logic of knowledge, knowability, and belief interpreted in topological subset spaces in which belief is definable in terms of knowledge and knowability. We provide a sound and complete axiomatization for this logic as well as its uni-modal belief fragment. We then consider weaker logics that preserve suitable translations of Stalnaker’s postulates, yet do not allow for any reduction of belief. We propose novel topological semantics for these irreducible notions of belief, generalizing our previous semantics, and provide sound and complete axiomatizations for the corresponding logics. (shrink)

The starting point of this work is the gap between two distinct traditions in information engineering: knowledge representation and data - driven modelling. The first tradition emphasizes logic as a tool for representing beliefs held by an agent. The second tradition claims that the main source of knowledge is made of observed data, and generally does not use logic as a modelling tool. However, the emergence of fuzzy logic has blurred the boundaries between these two traditions by putting (...) forward fuzzy rules as a Janus-faced tool that may represent knowledge, as well as approximate non-linear functions representing data. This paper lays bare logical foundations of data - driven reasoning whereby a set of formulas is understood as a set of observed facts rather than a set of beliefs. Several representation frameworks are considered from this point of view: classical logic, possibility theory, belief functions, epistemic logic, fuzzy rule-based systems. Mamdani's fuzzy rules are recovered as belonging to the data - driven view. In possibility theory a third set-function, different from possibility and necessity plays a key role in the data - driven view, and corresponds to a particular modality in epistemic logic. A bi-modal logic system is presented which handles both beliefs and observations, and for which a completeness theorem is given. Lastly, our results may shed new light in deontic logic and allow for a distinction between explicit and implicit permission that standard deontic modal logics do not often emphasize. (shrink)

The Nyãya philosophy is primarily concerned with the conditions of valid thought and the means of acquiring true knowledge of objects. Its ultimate end, like that of the other systems of Indian philosophy, is liberation-a state of pure existence- which is free from both pleasure and pain. For the attainment of this liberation, a true knowledge of objects is the surest means. Hence the theory of knowledge is the very foundation of the Nyãya system. The Nyãya Theory (...) of Knowledge is the first systematic, critical and comparative treatment of the Nyãya epistemology. It reveals how, as a thorough-going realistic view of the universe, the Nyãya philosophy supplies an important Eastern parallel to the triumphant modern Realism of the West, and contains anticipations of as well as possible alternatives to many contemporary realistic theories. This book is important as much for the correct understanding of ancient Indian philosophy, as for the evaluation of modern Western philosophy. (shrink)

Though my ultimate concern is with issues in epistemology and metaphysics, let me phrase the central question I will pursue in terms evocative of philosophy of religion: What are the implications of our logic-in particular, of Cantor and G6del-for the possibility of omniscience?

In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of something Ann is not aware of”—without using a stronger statement such as “Ann knows that Bill is aware of \(p\) and Ann is not aware of \(p\) ”, for some particular \(p\) . In Halpern and Rêgo (Proceedings of KR 2006; Games Econ Behav 67(2):503–525, 2009b) Halpern and Rêgo introduced (...) a logic in which such statements about knowledge of unawareness can be expressed. The logic extends the traditional framework with quantification over formulae, and is thus very expressive. As a consequence, it is not decidable. In this paper we introduce a decidable logic which can be used to reason about certain types of unawareness. Our logic extends the traditional framework with an operator expressing full awareness, i.e., the fact that an agent is aware of everything, and another operator expressing relative awareness, the fact that one agent is aware of everything another agent is aware of. The logic is less expressive than Halpern’s and Rêgo’s logic. It is, however, expressive enough to express all of the motivating examples in Halpern and Rêgo (Proceedings of KR 2006; Games Econ Behav 67(2):503–525, 2009b). In addition to proving that the logic is decidable and that its satisfiability problem is PSPACE-complete, we present an axiomatisation which we show is sound and complete. (shrink)

The question of whether knowledge is definable in terms of belief, which has played an important role in epistemology for the last 50 years, is studied here in the framework of epistemic and doxastic logics. Three notions of definability are considered: explicit definability, implicit definability, and reducibility, where explicit definability is equivalent to the combination of implicit definability and reducibility. It is shown that if knowledge satisfies any set of axioms contained in S5, then it cannot be explicitly (...) defined in terms of belief. S5 knowledge can be implicitly defined by belief, but not reduced to it. On the other hand, S4.4 knowledge and weaker notions of knowledge cannot be implicitly defined by belief, but can be reduced to it by defining knowledge as true belief. It is also shown that S5 knowledge cannot be reduced to belief and justification, provided that there are no axioms that involve both belief and justification. (shrink)