Results 41 to 50 of about 1,741 (282)

Dynamic Epistemic Logics [PDF]

, 2014
Dynamic epistemic logic, broadly conceived, is the study of rational social interaction in context, the study, that is, of how agents update their knowledge and change their beliefs on the basis of pieces of information they exchange in various ways. The information that gets exchanged can be about what is the case in the world, about what changes in ...
openaire   +3 more sources

Seismic Hazard Curve as Dynamic Parameters in Earthquake Building Design for Sabah, Malaysia

Buildings, 2023
This paper presents the significance of a seismic hazard curve plot as a dynamic parameter in estimating earthquake-resistant structures. Various cases of structural damages in Malaysia are due to underestimating earthquake loadings since mostly ...
Noor Sheena Herayani Harith, Felix Tongkul, Azlan Adnan   +2 more
doaj   +1 more source

Connecting dynamic epistemic and temporal epistemic logics [PDF]

Logic Journal of IGPL, 2011
We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. In particular, given an epistemic state (pointed Kripke model with equivalence relations) and a formula in a dynamic epistemic logic (a logic describing the consequences of epistemic ...
Wiebe van der Hoek, Hans van Ditmarsch, Ji Ruan   +2 more
openaire   +2 more sources

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, Wan Ainun Mior Othman, Kok Bin Wong   +2 more
doaj   +1 more source

A Neutrosophic Epistemic Framework for Intangible Cultural Heritage Resources: Modeling Authenticity, Uncertainty, and Fragmentation in Tourism Development Potential Analysis [PDF]

Neutrosophic Sets and Systems
The sustainability of intangible cultural heritage (ICH) increasingly depends on its interface with cultural tourism. While this interaction brings visibility and economic benefit, it often introduces epistemic tension: different stakeholders interpret ...
Chunxi Fan, Haihong Tan, Fangxin Xu
doaj   +1 more source

Topo-Logic as a Dynamic-Epistemic Logic

, 2017
We extend the ‘topologic’ framework [13] with dynamic modalities for ‘topological public announcements’ in the style of Bjorndahl [5]. We give a complete axiomatization for this “Dynamic Topo-Logic”, which is in a sense simpler than the standard axioms of topologic.
Alexandru Baltag, Ana Lucia Vargas Sandoval, Aybüke Özgün, Aybüke Özgün   +3 more
openaire   +4 more sources

Concurrent Dynamic Epistemic Logic [PDF]

, 2003
When giving an analysis of knowledge in multiagent systems, one needs a framework in which higher-order information and its dynamics can both be represented. A recent tradition starting in original work by Plaza treats all of knowledge, higher-order knowledge, and its dynamics on the same foot. Our work is in that tradition.
H.P. van Ditmarsch, W. van der Hoek, Barteld Kooi   +2 more
openaire   +3 more sources

Presuppositions, Logic, and Dynamics of Belief [PDF]

Prolegomena, 2004
In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators.
Slavko Brkic
doaj  

Building Community Amidst the Institutional Whiteness of Graduate Study: Black Joy and Maroon Moves in an Academic Marronage

Australian Journal of Social Issues, EarlyView.
ABSTRACT This article reflects on the construction of a supportive community of Black Afro‐diasporic graduate students and their supervisors researching issues relating to race in the field of education in Australia. It draws on the concept of marronage—a term rooted in the fugitive act of becoming a maroon, where enslaved people enacted an escape in ...
Hellen Magoi, Casianus Gemoh, Denise Chapman, Edmund Hypolite, Simon Angok, Melanie Baak, Joel Windle   +6 more
wiley   +1 more source

Dynamic Epistemic Logic with Communication Actions

Electronic Notes in Theoretical Computer Science, 2019
This work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, where the concurrency mechanism is the so called true concurrency, here we use an approach based on process calculus, like CCS and CSP, and Action Models Logic.
Isaque Macalam Saab Lima, Mario R. F. Benevides   +1 more
openaire   +3 more sources