Results 91 to 100 of about 10,593 (211)
A Family of Graded Epistemic Logics
Electronic Notes in Theoretical Computer Science, 2018 Abstract Multi-Agent Epistemic Logic has been investigated in Computer Science [Fagin, R., J. Halpern, Y. Moses and M. Vardi, “Reasoning about Knowledge,” MIT Press, USA, 1995] to represent and reason about agents or groups of agents knowledge and beliefs. Some extensions aimed to reasoning about knowledge and probabilities [Fagin, R. and J. Halpern,
Mario R. F. Benevides +2 more
openaire +3 more sources
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
Epistemic Logics with Structured Knowledge
Electronic Notes in Theoretical Computer Science, 2019 Abstract Multi-agent Dynamic Epistemic Logic, as a suitable modal logic to reason about knowledge evolving systems, has emerged in a number of contexts and scenarios. The agents knowledge in this logic is simply characterised by valuations of propositions.
Alexandre Madeira +2 more
openaire +2 more sources
, 2016 Dynamic Epistemic Logic is the study of modal logics of model change. DEL (pronounced “dell”) is a highly active area of applied logic that touches on topics in many areas, including Formal and Social Epistemology, Epistemic and Doxastic Logic, Belief ...
Renne, B., Baltag, A.
core
Dynamic Epistemic Logic and Logical Omniscience
Logic and Logical Philosophy, 2015 Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as ...
openaire +3 more sources
Rights and Practical Reasoning in Deontic Logic [PDF]
, 2023 peer reviewedThis paper brings together two traditions in deontic logic: the theory of normative positions, that is, reasoning about di↵erent types of rights, and practical reasoning, which has special relevance from the viewpoint of artificial ...
VAN DER TORRE, Leon +5 more
core
, 1999 Knowledge has been subject of philosophical study since ancient times. This is not surprising since knowledge is crucial to humans in order to control their actions and the appetite for acquiring it seems innate to the human race. Phi- losophy, therefore, has always occupied itself with the question as to the nature of knowledge.
openaire +2 more sources
The Logic of Quantum Programs. [PDF]
, 2004 We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems.
Smets, Sonja +3 more
core
Updating epistemic logic programs
, 2009 We consider the problem of updating non-monotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and belief can be explicitly expressed.
Zhang, Yan
core
Modeling of Phenomena and Dynamic Logic of Phenomena [PDF]
, 2011 Modeling a complex phenomenon such as the mind presents tremendous computational complexity challenges. Modeling field theory (MFT) addresses these challenges in a non-traditional way.
Perlovsky, Leonid +3 more
core