Results 51 to 60 of about 3,397 (165)
Epistemic Game Theory and Logic: Introduction
Games, 2017 Epistemic game theory and the systems of logic that support it are crucial for understanding rational behavior in interactive situations in which the outcome for an agent depends, not just on her own behavior, but also on the behavior of those with whom ...
Paul Weirich
doaj +1 more source
A Logic for Global and Local Announcements [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In this paper we introduce global and local announcement logic (GLAL), a dynamic epistemic logic with two distinct announcement operators – [φ]^+_A and [φ] ^-_A indexed to a subset A of the set Ag of all agents – for global and local announcements ...
Francesco Belardinelli +2 more
doaj +1 more source
From Quantum theory to Quantum theology: A leap of faith
HTS Teologiese Studies/Theological Studies, 1997 This article is aimed at introducing multi valued logic as an epistemic model for theological thought within the reformational-dialectic paradigm. Nowadays, reformational-dialectic theology is challenged by postmodem culture, interreligious exposure and
M. M.J. Basson, J. H. Koekemoer
doaj +1 more source
Logic and Logical Philosophy, 2017 This paper presents a logic of questions developed as an extension of (S5) epistemic logic. We discuss many features that are important for erotetic logic (formalization and semantics of questions, answerhood conditions, and inferential structures with questions).
openaire +4 more sources
Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes
MathematicsIn traditional epistemic logic—particularly modal logic—agents are often assumed to have complete and certain knowledge, which is unrealistic in real-world scenarios where uncertainty, imprecision, and the incompleteness of information are common.
Jinjin Zhang +3 more
doaj +1 more source
Games, 2016 The modeling of awareness and unawareness is a significant topic in the doxastic logic literature, where it is usually tackled in terms of full belief operators. The present paper aims at a treatment in terms of partial belief operators.
Mikaël Cozic
doaj +1 more source
Labelled Natural Deduction for Public Announcement Logic with Common Knowledge
Mathematics, 2020 Public announcement logic is a logic that studies epistemic updates. In this paper, we propose a sound and complete labelled natural deduction system for public announcement logic with the common knowledge operator (PAC). The completeness of the proposed
Muhammad Farhan Mohd Nasir +2 more
doaj +1 more source
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination [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. Recently, Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning. We
Thorsten Engesser +3 more
doaj +1 more source
A Family of Graded Epistemic Logics [PDF]
Electronic Notes in Theoretical Computer Science, 2018 Abstract Multi-Agent Epistemic Logic has been investigated in Computer Science [Fagin, R., J. Halpern, Y. Moses and M. Vardi, “Reasoning about Knowledge,” MIT Press, USA, 1995] to represent and reason about agents or groups of agents knowledge and beliefs. Some extensions aimed to reasoning about knowledge and probabilities [Fagin, R. and J. Halpern,
Benevides, Mario R. F. +2 more
openaire +3 more sources
An epistemic operator for description logics
Artificial Intelligence, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
DONINI F. M. +4 more
openaire +5 more sources