Epistemic Doxastic Logic with Group Knowledge
Common Knowledge in Epistemic Logic With Hypotheses
... the epistemic logic for reasoning about knowledge under hypotheses from ...resulting logic S5 r is an extension of the epistemic logic S5 with a modal operator ‘[·]’ that can be ...
13
Group knowledge and epistemic defeat
... 21 . As Mathiesen writes, capturing this idea, “in contexts where her group membership is salient she is committed to act, speak, and reason consistently with the group view. If she fails to do so, then she ...
25
Epistemic Logic and the Problem of Epistemic Closure
... modal logic that we are ...is epistemic, we do not need to take such a metaphysical ...the knowledge operator does not call for any metaphysical ...
14
MoL 2016 15: Inquisitive Conditional Doxastic Logic
... to epistemic models, as they now pertain to the epistemic state of an ...her knowledge, yet this assumption seems no more controversial as introspective condi- tionalisation with respect to an ...
124
MoL 2014 03: Epistemic Issues and Group Knowledge
... all knowledge is an answer. In fact, to the best of my knowledge, he is the only philosopher who explicitly states ...of knowledge in which questions specify the set of relevant ...that ...
73
Epistemic Quantified Boolean Logic
... multi-agent, epistemic inter- pretation of ...common knowledge is essential to mimick an universal modality that, together with axiom At, enforces canonical models that are ...modal logic, even ...
7
Actions and Resources in Epistemic Logic
... of logic, called epistemic logic, has found applications in computer science and eco- nomics [65] since its inception by Hintikka [46] in the ...of epistemic logic, but at the same time ...
185
Epistemic logic without closure
... In the Kripke semantics for epistemic logic, the relation R was understood as encoding information about consistency with an agent’s potential knowledge at various possible worlds—what i[r] ...
24
Epistemic Utility and the Normativity of Logic
... on logic-rationality bridge principles with doxastic antecedents con- cerns the argument due to MacFarlane (ms) that we should not be satisfied with ...the epistemic utility-based argu- ment for ...
31
Reasoning about Dynamic Epistemic Logic
... Dynamic Epistemic Logic (DEL) is a PDL-style logic [14] to reason about epistemic actions and updates in a multi-agent ...on epistemic programs, ...other’s knowledge, and ...
10
PP 2003 04: The Epistemic Logic of IF Games
... of epistemic logic, and hence we can introduce explicit epistemic knowledge operators to formalize various aspects of IF ...of epistemic logic generally: clarity of analysis, and ...
32
THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC
... is “if ψ is announced it becomes common knowledge among B that ϕ was the case before the announcement”. This is also a good description of [p := ϕ][ψ]C B p if the substitution is seen as memory. 7 The smallest L ...
14
Epistemic Logic Programs with World View Constraints
... In this paper, we don’t try to resolve the clash; instead, we focus on the important problem of modeling knowledge using purely epistemic constraints. With the original semantics, such constraints could be ...
17
Epistemic Norms, A Priority, and Self-Knowledge
... and logic which though universally regarded as self-evident by the leading minds in the field in question at a particular time have subsequently proved to be false… Second, there are the various allegedly a priori ...
194
MoL 2017 20: Abstractions and Idealisations in Epistemic Logic
... of knowledge are often prescribed a limited ...of epistemic logic one makes use mainly of the intuitions of the first kind, and consequently there is not so much of a danger of using intuitions in ...
105
PP 2011 37: An inquisitive dynamic epistemic logic
... 4.1 Motivation One striking feature of delq and other systems in the del traditions is that they build on classical logic in a very conservative way. In particular, the ba- sic propositional fragment of the ...
19
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results
... multi-agent, epistemic inter- pretation of ...common knowledge is essential to mimick an universal modality that, together with axiom At, enforces canonical models that are ...modal logic, even ...
7
PP 2019 24: Rule based Reasoners in Epistemic Logic
... the epistemic state of an ...(explicit) knowledge, and (b) suitably structured by rule-induced transitions between ...Dynamic Epistemic Logic (DEL) and open to the incorporation of empirical ...
13
X 2011 05: Epistemic Logic: Five Questions Interview
... dynamic epistemic logic should be able to deal with questions as well as ...neous knowledge to single events that change information was not ...modern epistemic logic can deliver such ...
12
PP 2010 14: Planning based on dynamic epistemic logic
... of epistemic and doxastic ...the epistemic nature of interaction by logicians, and this new direction of logic has quickly gained momentum and support, allowing a re-assessment of the role of ...
15