Results 51 to 60 of about 1,988 (154)
A Dynamic Informational-Epistemic Logic
Epistemic logic is usually employed to model two aspects of a situation: the ontic and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this paper, we will explore a four-valued epistemic logic designed to deal with situations of this sort ...
openaire +1 more source
In this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al.
Takahiro Sawasaki
doaj +1 more source
Dynamic Epistemic Logic as a Substructural Logic [PDF]
Dynamic Epistemic Logic (DEL) is an influential logical framework for reasoning about the dynamics of beliefs and knowledge. It has been related to older and more established logical frameworks. Despite these connections, DEL remains, arguably, a rather isolated logic in the vast realm of non-classical logics and modal logics.
openaire +2 more sources
Investigating the Nature of Orientalism from a Philosophical-Historical Point of View Based on the Relationship between Subject and Object [PDF]
This article examined the emergence of the human subject as the central focus of modern thought, tracing its origins from the Renaissance period through the Enlightenment. Using a descriptive-analytical approach, it explored the philosophical foundations
Ghorban Elmi, Alireza Nahri
doaj +1 more source
Different Aspects of the Frame Problem and Its Relation to Our Cognitive Background of the World [PDF]
IntroductionThe frame problem was first introduced by McCarthy and Hayes (1969). In short, the initial issue was that there are no clear principles indicating what an action changes and what remains unchanged at a given time.
Abolfazl Sabramiz
doaj +1 more source
Natural Philosophy and Natural Logic
1. Nature has its own logic, which does not follow the human will. Nature is itself; it exists, moves, changes, and evolves according to its own intrinsic ways. Human and human society, as a product of a specific stage of natural development, can only be
Kun Wu, Zhensong Wang
doaj +1 more source
A Comparative Study of Ghiyath al-Din Dashtaki’s and Ayatollah Javadi Amoli’s Views on the Factors of Spiritual Wayfaring from a Foundational Perspective [PDF]
The spiritual journey in Islamic wisdom aims at reaching the highest stage of perfection, which is direct intuitive knowledge of the Divine Reality. Achieving this goal demands accurate cognition, spiritual refinement, and guidance under a qualified ...
Mehri Mehrabi Fodani +2 more
doaj +1 more source
A Dynamic Epistemic Logic with a Knowability Principle [PDF]
A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a ...
openaire +1 more source
Logic-Driven Semantic Communication for Resilient Multi-Agent Systems
The advent of 6G networks is accelerating autonomy, intelligence, and interconnectedness in large-scale, decentralized multi-agent systems (MAS). While this evolution enables highly adaptive behavior, it also heightens vulnerability to stressors such as ...
Tamara Alshammari, Mehdi Bennis
doaj +1 more source

