Results 61 to 70 of about 3,397 (165)

Logical Omniscience as a Conditionality Issue. A Multi-Modal Approach

Crítica
Many solutions to the problem of Logical Omniscience assume that this arises from the behavior of the epistemic operators. However, few proposals have criticized the assumption that material implication accurately accounts for conditionality. This paper
Juan Carlos Sánchez Hernández
doaj   +1 more source

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  

Logic of Algorithmic Knowledge

Studies in Logic, Grammar and Rhetoric, 2015
In this paper we consider the construction of a LAK system of temporal-epistemic logic which is used to formally describe algorithmic knowledge. We propose an axiom system of LAK and discuss the basic properties of this logic.
Surowik Dariusz
doaj   +1 more source

Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses

Inteligencia Artificial, 2020
We investigate the variant of epistemic logic S5 for reasoning about knowledge under hypotheses. The logic is equipped with a modal operator of necessity that can be parameterized with a hypothesis representing background assumptions.
Levan Uridia, Dirk Walther
doaj   +1 more source

REASONING ABOUT THE GAME „CLUE“ BY USING OTTER

Journal of Information and Organizational Sciences, 2006
In this article the possibilities of reasoning about the card version of the game Clue by using OTTER - system for automatic theorem proving have been presented.
Marko Maliković
doaj  

Epistemic Logic and the Problem of Epistemic Closure

, 2016
This paper argues that propositional modal logics based on Kripke-structures cannot be accepted by epistemologists as a minimal framework to describe propositional knowledge. In fact, many authors have raised doubts over the validity of the so-called principle of epistemic closure, which is always valid in normal modal logics.
openaire   +3 more sources

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

Sur les « opérateurs rétrogrades »

Philosophia Scientiæ, 2004
A logic of ‘backwards-looking operators’ (OR) is defined using semantical games, played on models with two dimensions, one for time and another for epistemic scenarios.
Tero Tulenheimo
doaj   +1 more source

Dynamic Epistemic Logic as a Substructural Logic [PDF]

, 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   +3 more sources

Linguistic Means of Expressing Objective Epistemic Modality in Scientific Discourse

Научный диалог, 2020
The predicates typical of scientific discourse shown, proved, established , etc., which are used to present the results of the study are discussed in the article.
A. V. Sakharova
doaj   +1 more source