Results 21 to 30 of about 132,694 (289)
Epistemic Updates on Algebras [PDF]
Logical Methods in Computer Science, 2013 We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss- Solecki, without the common knowledge operator.
Alexander A Kurz +1 more
doaj +1 more source
God beyond the Boundary-Stones of Thought
American Journal of Islam and Society, 2020 In this paper, I make the case for epistemic relativism: the radical view that all human knowledge/truth is relative. I extend the application of epistemic relativism to include necessary laws such as the laws of logic.
Abbas Ahsan
doaj +1 more source
The logic of epistemic justification [PDF]
, 2017 Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case.
Smith, Martin
core +3 more sources
Electronic Proceedings in Theoretical Computer Science, 2023 Epistemic logics model how agents reason about their beliefs and the beliefs of other agents. Existing logics typically assume the ability of agents to reason perfectly about propositions of unbounded modal depth. We present DBEL, an extension of S5 that models agents that can reason about epistemic formulas only up to a specific modal depth.
Arthaud, Farid, Rinard, Martin
openaire +3 more sources
A New Modal Framework for Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of \
Yanjing Wang
doaj +1 more source
Epistemic logic for metadata modelling from scientific papers on Covid-19
Science & Philosophy, 2021 The field of epistemic logic developed into an interdisciplinary area focused on explicating epistemic issues in, for example, artificial intelligence, computer security, game theory, economics, multiagent systems and the social sciences.
Simone Cuconato
doaj +1 more source
Splitting Epistemic Logic Programs [PDF]
Theory and Practice of Logic Programming, 2019 AbstractEpistemic logic programs constitute an extension of the stable model semantics to deal with new constructs called subjective literals. Informally speaking, a subjective literal allows checking whether some objective literal is true in all or some stable models.
PEDRO CABALAR +2 more
openaire +4 more sources
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
Logics of Temporal-Epistemic Actions [PDF]
, 2014 We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation.
Renne, Bryan, Sack, Joshua, Yap, Audrey
core +3 more sources
Logical Analogies: Interpretations, Oppositions, and Probabilism
Philosophies, 2019 I present two logical systems to show the “analogy of proportionality„ common to several interpretations: modality (necessity and possibility), quantification, truth-functional relations, moral attitudes (deontic logic), states of knowledge ...
Walter Redmond
doaj +1 more source