Results 21 to 30 of about 25,998 (197)
Epistemic Updates on Algebras [PDF]
Logical Methods in Computer Science, 2013 We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss- Solecki, without the common knowledge operator.
Alexander A Kurz +1 more
doaj +1 more source
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 +2 more
doaj +1 more source
Conditions of Possibility of Knowledge and Spaces of Logic Possibility
Pensamiento. Revista de Investigación e Información Filosófica, 2020 Knowledge construction has been a topic of interest to the philosophy of language, given the need to validate the aletic and apophantic form of statements that constitute such a discourse. For a long time, Classical logic has been in charge of validating
Angélica María Rodríguez Ortiz
doaj +1 more source
An Epistemic Foundation for Authentication Logics (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, this has been due to the particular logics chosen.
Joseph Y. Halpern +2 more
doaj +1 more source
Thought as a quasi-possibility
Интеллект. Инновации. Инвестиции, 2021 Modal logic determines a lot in modern metaphysics and ontology, which delve deeper and deeper into the realm of the possible, not limited to the analysis of reality.
D. V. Ankin
doaj +1 more source
Tableau Systems for Epistemic Positional Logics
Bulletin of the Section of Logic, 2021 The goal of the article is twofold. The first one is to provide logics based on positional semantics which will be suitable for the analysis of epistemic modalities such as ‘agent ... knows/beliefs that ...’.
Mateusz Klonowski +2 more
doaj +1 more source
Dynamic Conflict Resolution Using Justification Based Reasoning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception.
Werner Damm +4 more
doaj +1 more source
Belief as Willingness to Bet [PDF]
, 2014 We investigate modal logics of high probability having two unary modal operators: an operator $K$ expressing probabilistic certainty and an operator $B$ expressing probability exceeding a fixed rational threshold $c\geq\frac 12$.
Renne, Bryan, van Eijck, Jan
core +2 more sources
Probabilistic Justification Logic
Philosophies, 2018 Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification.
Joseph Lurie
doaj +1 more source
Categories for Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and categories of Kripke frames, with particular emphasis ...
Kohei Kishida
doaj +1 more source