Epistemic logic is a subfield of philosophical logic concerned with logical approaches to
knowledge, belief, and related notions. Though any logic with an epistemic interpretation …

The chapter argues that a model‐building methodology like that widespread in
contemporary natural and social science already plays a significant role in philosophy. One …

Abstract The International Council on Systems Engineering (INCOSE) has initiated a Future
of Systems Engineering (FuSE) program that includes a stream for advancing the theoretical …

Abstract The Thousands of Problems for Theorem Provers (TPTP) World is a well-
established infrastructure that supports research, development and deployment of …

In this paper, we propose a decidable single-agent modal logic for reasoning about goal-
directed “knowing how”, based on ideas from linguistics, philosophy, modal logic, and …

This paper presents a simple decidable logic of functional dependence LFD, based on an
extension of classical propositional logic with dependence atoms plus dependence …

Predictable polarization is everywhere: we can often predict how people's opinions,
including our own, will shift over time. Extant theories either neglect the fact that we can …

Epistemic logic has become a major field of philosophical logic ever since the
groundbreaking work by Hintikka [58]. Despite its various successful applications in …

When agents collaborate on a task, it is important that they have some shared mental model
of the task routines--the set of feasible plans towards achieving the goals. However, in …

We present a formal semantics for epistemic logic, capturing the notion of knowability
relative to information (KRI). Like Dretske, we move from the platitude that what an agent can …