Results 81 to 90 of about 10,593 (211)

The synchronicity of dynamic epistemic logic

, 2011
In a recent paper, van Benthem, Gerbrandy, Hoshi and Pacuit gave a natural translation of dynamic epistemic logic (DEL) into epistemic temporal logic (ETL) and proved a representation theorem, characterizing those ETL models that are translations of some
Dégremont, Cédric, Lowe, B., Witzel, A., Apt, K.R., Dégremont, C.   +4 more
core   +1 more source

Bilattice logic of epistemic actions and knowledge

, 2020
International audienceBaltag, Moss, and Solecki proposed an expansion of classical modal logic, called logic of epistemic actions and knowledge (EAK), in which one can reason about knowledge and change of knowledge. Kurz and Palmigiano showed how duality
Bakhtiari, Zeinab, van Ditmarsch, Hans, Rivieccio, Umberto   +2 more
core   +1 more source

Aximo: automated axiomatic reasoning for information update

, 2007
Aximo is a software written in C++ that verifies epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic of our tool is based on the algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical result:
Richards, Simon, Sadrzadeh, Mehrnoosh
core  

A simple modal logic for belief revision [PDF]

We propose a modal logic based on three operators, representing intial beliefs, information and revised beliefs. Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule.
Giacomo Bonanno
core   +2 more sources

Multi-succedent sequent calculus for intuitionistic epistemic logic

Lietuvos Matematikos Rinkinys
A multi-succedent sequent calculus for intuitionistic epistemic logic (IEL) is introduced in the paper. It is  proved that the structural rules of weakening and contraction and the rule of cut are admissible in the  calculus.
Romas Alonderis
doaj   +3 more sources

Bridging the Gap: An Epistemic Logical Model for Analysing Students’ Argumentation and Proof in Mathematics Education Research

Education Sciences
In this theoretical paper, an epistemic logical model for analysis of students’ argumentation and proof processes is presented. The model is conceived as a methodological tool addressed to the researcher in mathematics education that aims to shed light ...
Miglena Asenova
doaj   +1 more source

Remarks on the Epistemic Interpretation of Paraconsistency Logic

Principia: An International Journal of Epistemology, 2018
In a recent work, Walter Carnielli and Abilio Rodrigues present an epistemically motivated interpretation of paraconsistent logic. In their view, when there is conflicting evidence with regard to a proposition A (i.e.
Nicolás Lo Guercio, Damian Szmuc
doaj   +1 more source

From Epistemic Norms to Logical Rules: Epistemic Models for Logical Expressivists

Journal of Philosophical Logic, 2023
AbstractIn this paper I construct a system of semantics for classical and intuitionistic propositional logic based on epistemic norms governing belief expansion. Working in the AGM-framework of belief change, I give a generalisation of Gärdenfors’ notion of belief systems which can be defined without reference to a logical consequence operator by using
openaire   +2 more sources

Conditional Probabilistic Epistemic Logic Based on the General Frame

Philosophies
With conditional probability as a primitive notion rather than a ratio of classical probability, we extend the language of epistemic logic by introducing conditional probability operators.
Qing Sun, Shangcheng Tang
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, Aybüke Özgün, Ana Lucia Vargas Sandoval   +2 more
openaire   +3 more sources