Results 241 to 250 of about 27,099 (296)
Reasoning about epistemic social network dynamics using dynamic term-modal logic
Annals of Pure and Applied Logic, 2022 Logics for social networks have been studied in recent literature. This paper presents a framework based on dynamic term-modal logic ((formula presented)), a quantified variant of dynamic epistemic logic ((formula presented)). In contrast with (formula presented) where it is commonly known to whom agent names refer, (formula presented) can represent ...
Andrés Occhipinti Liberman +1 more
openalex +3 more sources
Constrained Epistemic Action Modal Logic
Advanced Science and Technology Letters, 2015 In this paper, the constrained epistemic default logic and action model logic was combined to model the dynamic cognitive update process by introducing a cognitive operator. The description of the logic framework was given in this study, and the related theorems were proved to show the interpretation of the constrained epistemic action model logic.
Zhiling Hong
openalex +2 more sources
Weighted Modal Logic in Epistemic and Deontic Contexts
, 2021 We introduce a type of weighted modal logic with explicit weights both in the language and in the models. The framework has its applications in epistemic logic for reasoning about agents’ knowledge based on their capability, and in deontic logic for agents’ choices based on their deontic capability or utilities.
Huimin Dong, Xu Li, Yì N. Wáng
openalex +2 more sources
On Epistemic Modal Predicate Logic
, 1996 In their earlier investigations Frege and Russell have specially turned their attention to logical analysis of complex sentences with subordinate clauses, which are introduced by the connective that and the verbs know, believe, doubt and so on (e.g. ‘Columbus believed that he had paved a new nautical way to India’).
M. N. Bezhanishvili
openalex +2 more sources
Temporalizing Modal Epistemic Logic
, 2013 Timed Modal Epistemic Logic, tMEL, is a newly introduced logical framework for reasoning about the modeled agent’s knowledge. The framework, derived from the study of Justification Logic, is adapted from the traditional Modal Epistemic Logic, MEL, to serve as a logically non-omniscient epistemic logic and dealing with problems where the temporal ...
Ren-June Wang
openalex +2 more sources
Evidence Reconstruction of Epistemic Modal Logic S5
, 2006 We introduce the logic of proofs whose modal counterpart is the modal logic S5. The language of Logic of Proofs LP is extended by a new unary operation of negative checker “?”. We define Kripke-style models for the resulting logic in the style of Fitting models and prove the corresponding Completeness theorem. The main result is the Realization theorem
Natalia Rubtsova
openalex +2 more sources