Results 21 to 30 of about 10,593 (211)
Unification in epistemic logics [PDF]
Journal of Applied Non-Classical Logics, 2017 Epistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.
Philippe Balbiani, Çigdem Gencer
openaire +3 more sources
Bisimulation in Inquisitive Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 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 ...
Ivano Ciardelli, Martin Otto
doaj +1 more source
A Gentle Introduction to Epistemic Planning: The DEL Approach [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning.
Thomas Bolander
doaj +1 more source
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
Symbolic Model Checking for Dynamic Epistemic Logic – S5 and Beyond [PDF]
, 2017 Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL implementations are ad-hoc, so we do not know how the framework really performs. For this purpose, we want to hook up with the
van Benthem, J. +11 more
core +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
Dynamic Epistemic Logic for Channel-Based Agent Communication [PDF]
, 2013 This paper studies channel-based agent communication in terms of dynamic epistemic logic. First, we set up two sorted syntax which can deal with not only each agent's belief but also agents and channels between them.
Katsuhiko Sano +3 more
core +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
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
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