Results 71 to 80 of about 3,397 (165)

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

A New Approach to Epistemic Logic [PDF]

, 2014
A new language for epistemic logic is introduced in which the epis- temic operators are of the form j x : x1 : : : xnj with the intended read- ing \x knows of x1 : : : xn that ...". Analogously we can express \t knows of t1 : : : tn that ... ", where t; t1 : : : tn are terms.
CORSI, GIOVANNA, Gabriele Tassi
openaire   +4 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

Analysis of Cryptographic Protocol by Dynamic Epistemic Logic

IEEE Access, 2019
The security of the cryptographic protocols has always been important to ensure proper implementation of a protocol. To assure protocol security, a number of works for analysis and verification of cryptographic protocols have emerged in the literature ...
Xiaojuan Chen, Huiwen Deng
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

Contextual Epistemic Logic

, 2008
One of the highlights of recent informal epistemology is its growing theoretical emphasis upon various notions of context. The present paper addresses the connections between knowledge and context within a formal approach. To this end, a "contextual epistemic logic", CEL, is proposed, which consists of an extension of standard S5 epistemic modal logic ...
Rebuschi, Manuel, Lihoreau, Franck
openaire   +3 more sources

An Epistemic Logic of Extensive Games

Electronic Notes in Theoretical Computer Science, 2011
AbstractThe aim of this work is to propose a logical framework for representing interacting agents in the context of extensive form games. Because of the importance of the temporal dimension provided by such games, we create a modal epistemic logic that allows to quantify over both strategies and vertices within the game tree.
Lorini, Emiliano, Moisan, Frédéric
openaire   +3 more sources

Independence and games

Philosophia Scientiæ, 2005
Hintikka and Sandu have developed IF logic as a genuine alternative to classical first-order logic : liberalizing dependence schemas between quantifiers, IF would carry out all the ideas already underlying classical logic.
Denis Bonnay
doaj   +1 more source

Logic tree approach for probabilistic typhoon wind hazard assessment

Nuclear Engineering and Technology, 2019
Global warming and climate change are increasing the intensity of typhoons and hurricanes and thus increasing the risk effects of typhoon and hurricane hazards on nuclear power plants (NPPs).
Young-Sun Choun, Min-Kyu Kim
doaj   +1 more source

On the Complexity of Dynamic Epistemic Logic

, 2013
10 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) http://www.tark ...
Aucher, Guillaume, Schwarzentruber, François   +1 more
openaire   +3 more sources