Results 31 to 40 of about 27,099 (296)
Tableau Systems for Epistemic Positional Logics
Bulletin of the Section of Logic, 2021 The goal of the article is twofold. The first one is to provide logics based on positional semantics which will be suitable for the analysis of epistemic modalities such as ‘agent ... knows/beliefs that ...’.
Mateusz Klonowski +2 more
doaj +1 more source
Belief as Willingness to Bet [PDF]
, 2014 We investigate modal logics of high probability having two unary modal operators: an operator $K$ expressing probabilistic certainty and an operator $B$ expressing probability exceeding a fixed rational threshold $c\geq\frac 12$.
Renne, Bryan, van Eijck, Jan
core +2 more sources
Probabilistic Justification Logic
Philosophies, 2018 Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification.
Joseph Lurie
doaj +1 more source
Dynamic Conflict Resolution Using Justification Based Reasoning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception.
Werner Damm +4 more
doaj +1 more source
Categories for Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and categories of Kripke frames, with particular emphasis ...
Kohei Kishida
doaj +1 more source
Propositional Logics Complexity and the Sub-Formula Property [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In 1979 Richard Statman proved, using proof-theory, that the purely implicational fragment of Intuitionistic Logic (M-imply) is PSPACE-complete.
Edward Hermann Haeusler
doaj +1 more source
Knowability Relative to Information [PDF]
, 2018 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 know depends on her (empirical) information.
Berto, Franz, Hawke, Peter
core +2 more sources
On the Possibility of a General Purge of Self-Reference
Análisis Filosófico, 2012 My aim in this paper is to gather some evident in favor of the view that a general purge of self-reference is possible. I do this by considering a modal-epistemic version of the Liar Paradox introduced by Roy Cook.
Lucas Rosenblatt
doaj +1 more source
Using modal structures to represent extensions to epistemic logics
, 1987 Sharon Joyce Hamilton
openalex +2 more sources
A simple logic for reasoning about incomplete knowledge [PDF]
, 2014 International audienceThe semantics of modal logics for reasoning about belief or knowledge is often described in terms of accessibility relations, which is too expressive to account for mere epistemic states of an agent.
Banerjee, Mohua, Dubois, Didier
core +3 more sources