Results 21 to 30 of about 27,099 (296)
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
Open Problems in a Logic of Gossips [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Gossip protocols are programs used in a setting in which each agent holds a secret and the aim is to reach a situation in which all agents know all secrets. Such protocols rely on a point-to-point or group communication.
Krzysztof R. Apt, Dominik Wojtczak
doaj +1 more source
Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-
Ron van der Meyden
doaj +1 more source
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
An ethics-based ‘identity-proof’ of god’s existence. An ontology for philotherapy [PDF]
Filozofija i Društvo, 2021 A resurgence of scholarly work on proof of God’s existence is noticeable over the past decade, with considerable emphasis on attempts to provide ‘analytic proof’ based on the meanings and logic of various identity statements which constitute ...
Fatić Aleksandar
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