Results 61 to 70 of about 10,593 (211)

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

From Potential to Actual Knowledge: A New Framework in Probabilistic Epistemic Logic

Studies in Logic, Grammar and Rhetoric
In this paper we address the issue of improbable knowledge within probabilistic epistemic logic. This problem occurs when an agent possesses knowledge of a certain proposition despite the evidential probability of that knowledge being exceedingly low ...
Wójcik Arkadiusz
doaj   +1 more source

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

The Algebra of Multi-Agent Dynamic Belief Revision

, 2005
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for dynamic belief revision in a multi-agent setting.
Sadrzadeh, Mehrnoosh, Sadrzadeh, M., Baltag , Alexandru, M. Sadrzadeh, A. Baltag, Baltag, Alexandru, Baltag, A., Mehrnoosh Sadrzadeh, Alexandru Baltag   +8 more
core   +1 more source

A Dynamic Epistemic Logic for Abstract Argumentation [PDF]

, 2021
This paper introduces a multi-agent dynamic epistemic logic for abstract argumenta- tion. Its main motivation is to build a general framework for modelling the dynamics of a debate, which entails reasoning about goals, beliefs, as well as policies of ...
Yuste-Ginel, Antonio, Proietti, Carlo
core  

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

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

Extensões de primeira ordem para a lógica do anúncio público [PDF]

, 2015
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2015.Dentre as lógicas multimodais, a lógica epistêmica dinâmica foi desenvolvida para modelar as ...
Pereira, Marcio Kléos Freire
core  

The Expressivity of Factual Change in Dynamic Epistemic Logic [PDF]

, 2014
A commonly used dynamic epistemic logic is one obtained by adding commonknowledge and public announcements to a basic epistemic logic. It is known from Kooi (2007) that adding public substitutions to such a logic adds expressivity over the class K of ...
KUIJER, LOUWE B, Kuijer, Louwe B.
core   +1 more source

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