Results 31 to 40 of about 825,268 (301)
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
Bridging learning theory and dynamic epistemic logic [PDF]
, 2009 This paper discusses the possibility of modelling inductive inference (Gold 1967) in dynamic epistemic logic (see e.g. van Ditmarsch et al. 2007). The general purpose is to propose a semantic basis for designing a modal logic for learning in the limit ...
Gierasimczuk, N., Nina Gierasimczuk
core +2 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
Logics of temporal-epistemic actions [PDF]
Synthese, 2015 We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation. These operations are natural extensions of the well-known "action models" from Dynamic Epistemic Logic.
Bryan Renne, Joshua Sack, Audrey Yap
openaire +7 more sources
Relating Algebraic and Coalgebraic Logics of Knowledge and Update [PDF]
, 2006 We provide a Coalgebraic semantics for dynamic epistemic logic and prove the muddy children puzzle using recursion. We show how by applying a similar approach to Jacob's predicate lifting to our Coalgebra, one obtains the algebraic logic version of ...
C. Cirstea +5 more
core +1 more source
SMALL INFINITARY EPISTEMIC LOGICS [PDF]
The Review of Symbolic Logic, 2019 AbstractWe develop a series of small infinitary epistemic logics to study deductive inference involving intra-/interpersonal beliefs/knowledge such as common knowledge, common beliefs, and infinite regress of beliefs. Specifically, propositional epistemic logics GL (Lα) are presented for ordinalαup to a givenαo(αo≥ω) so that GL(L0) is finitary ...
Hu, Tai-Wei +2 more
openaire +5 more sources
Sequent calculus for logic of correlated knowledge
Lietuvos Matematikos Rinkinys, 2011 Sound and complete sequent calculi for general epistemic logic and logic of correlated knowledge are presented in this paper.
Haroldas Giedra +1 more
doaj +1 more source
Agent-Knowledge Logic for Alternative Epistemic Logic
Bulletin of the Section of LogicEpistemic logic is known as a logic that captures the knowledge and beliefs of agents and has undergone various developments. In this paper, we propose a new logic called agent-knowledge logic by taking the product of individual knowledge structures and
Yuki Nishimura
doaj +1 more source
Design of a Solver for Multi-Agent Epistemic Planning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 As the interest in Artificial Intelligence continues to grow it is becoming more and more important to investigate formalization and tools that allow us to exploit logic to reason about the world.
Francesco Fabiano
doaj +1 more source
Preferential Belief Change Using Generalized Epistemic Entrenchment [PDF]
, 1992 A sentence A is epistemically less entrenched in a belief state K than a sentence B if and only if a person in belief state K who is forced to give up either A or B will give up A and hold on to B.
Rott, Hans
core +1 more source