Results 131 to 140 of about 25,998 (197)

One Heresy and One Orthodoxy: On Dialetheism, Dimathematism, and the Non-normativity of Logic. [PDF]

Erkenntnis
Wansing H.
europepmc   +1 more source

CRISPR and Artificial Intelligence in Neuroregeneration: Closed-Loop Strategies for Precision Medicine, Spinal Cord Repair, and Adaptive Neuro-Oncology. [PDF]

Int J Mol Sci
Șerban M, Toader C, Covache-Busuioc RA.
europepmc   +1 more source

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   +3 more sources

Reasoning about epistemic social network dynamics using dynamic term-modal logic [PDF]

, 2022
Logics for social networks have been studied in recent literature. This paper presents a framework based on dynamic term-modal logic (\(\mathsf {DTML}\)), a quantified variant of dynamic epistemic logic (\(\mathsf {DEL}\)). In contrast with \(\mathsf {DEL}\) where it is commonly known to whom agent names refer, \(\mathsf {DTML}\) can represent dynamics
Andrés Occhipinti Liberman, Rasmus K. Rendsvig   +1 more
openalex   +5 more sources

On Epistemic Modal Predicate Logic [PDF]

, 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

Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic

, 2021
We propose a mechanism for automating discovery of definitions, that, when added to a logic system for which we have a theorem prover, extends it to support an embedding of a new logic system into it. As a result, the synthesized definitions, when added to the prover, implement a prover for the new logic.
Paul Tarau
openalex   +3 more sources