Results 21 to 30 of about 825,268 (301)
An epistemic logic of blameworthiness [PDF]
Artificial Intelligence, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pavel Naumov, Jia Tao 0001
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
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
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 +4 more sources
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
The logic of epistemic justification [PDF]
Synthese, 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. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical ...
openaire +3 more sources
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 +2 more sources
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
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
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