Results 51 to 60 of about 1,988 (154)

A Dynamic Informational-Epistemic Logic

open access: yes, 2018
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

Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style Systems for Term-modal Logics with Equality and Non-rigid Terms

open access: yesBulletin of the Section of Logic
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]

open access: yes, 2014
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]

open access: yesComparative Theology
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]

open access: yesحکمت و فلسفه
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

open access: yesPhilosophies, 2018
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

Dynamic Epistemic Logic

open access: yesProceedings of the Amsterdam Colloquium, 1995
-
openaire   +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]

open access: yesComparative Theology
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]

open access: yes, 2015
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

open access: yesIEEE Open Journal of the Communications Society
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

Home - About - Disclaimer - Privacy