Results 51 to 60 of about 132,694 (289)

Towards Syntactic Epistemic Logic

Fundamenta Informaticae, 2022
Traditionally, Epistemic Logic represents epistemic scenarios using a single model. This, however, covers only complete descriptions that specify truth values of all assertions. Indeed, many—and perhaps most—epistemic descriptions are not complete. Syntactic Epistemic Logic, SEL, suggests viewing an epistemic situation as a set of syntactic conditions ...
openaire   +3 more sources

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

Border harm and affective injustice: The politics of anger at the Melilla border, Spain

American Journal of Community Psychology, EarlyView.
Abstract This article examines protests in a detention center in Melilla, Spain—a site where structural violence intersects with the everyday harms of confinement. Adopting a justice and dignity‐centered perspective, we analyze grassroots forms of resistance emerging at the border. The study focuses on the protests of Tunisian migrants and explores the
Corina Tulbure
wiley   +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

Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract) [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-
Ron van der Meyden
doaj   +1 more source

The Insistence of Blackness and the Persistence of Antiblackness in Ireland

Australian Journal of Social Issues, EarlyView.
ABSTRACT This paper positions Ireland as a critical site for examining the insistence of blackness and an antiblackness created and sustained through Irish ethnonationalist imaginaries and exclusionary processes. Drawing on connected sociologies and Irish Black Studies, this enquiry argues that antiblackness in Ireland operates as a generational force,
Philomena Mullen
wiley   +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, Hans van Ditmarsch, Wiebe van der Hoek   +2 more
doaj   +1 more source

‘Turkeys Cannot Vote for Christmas’: Why Epistemic Disobedience in an Anti‐Black World Matters

Australian Journal of Social Issues, EarlyView.
ABSTRACT Never in the history of global coloniality has the idea of epistemic disobedience been as important as in the 21st century. This is not only because the struggle for decolonisation has shifted from physical confrontation between the coloniser and the colonised into a battle of ideas but also because the former has deployed the idea of ...
Morgan Ndlovu
wiley   +1 more source

Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes

Mathematics
In 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, Xiaoxia Zhou, Yan Zhang, Lixing Tan   +3 more
doaj   +1 more source

Probabilistic Unawareness

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