Results 31 to 40 of about 25,998 (197)
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
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
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
, 2018 Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ciardelli, Ivano, Otto, Martin
core +1 more source
Philosophia Scientiæ, 2005 Hintikka and Sandu have developed IF logic as a genuine alternative to classical first-order logic : liberalizing dependence schemas between quantifiers, IF would carry out all the ideas already underlying classical logic.
Denis Bonnay
doaj +1 more source
Is there a logic of information? [PDF]
, 2013 Information-based epistemology maintains that ‘being informed’ is an independent cognitive state that cannot be reduced to knowledge or to belief, and the modal logic KTB has been proposed as a model.
Wheeler, Gregory
core +4 more sources
, 2017 The article investigates an evidence-based semantics for epistemic logics in which pieces of evidence are interpreted as equivalence relations on the epistemic worlds. It is shown that the properties of knowledge obtained from potentially infinitely many
Naumov, Pavel, Tao, Jia
core +1 more source
, 2019 We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of ...
Incurvati, Luca, Schlöder, Julian J.
core +2 more sources
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Model checking verifies that a model of a system satisfies a given property, and otherwise produces a counter-example explaining the violation. The verified properties are formally expressed in temporal logics.
Simon Busard, Charles Pecheur
doaj +1 more source