Results 81 to 90 of about 25,998 (197)
An Inductive Modal Approach for the Logic of Epistemic Inconsistency
, 2021 Ricardo Sousa Silvestre
openalex +1 more source
Epistemic Logic: Completeness of Modal Logics
, 2021 This work is a formalization of epistemic logic with countably many agents. It includes proofs of soundness and completeness for the axiom system K. The completeness proof is based on the textbook ”Reasoning About Knowledge” by Fagin, Halpern, Moses and Vardi (MIT Press 1995). The extensions of system K (T, KB, K4, S4, S5) and their completeness proofs
openaire +1 more source
States of Uncertainty, Risk-Benefit Assessment and Early Clinical Research: A Conceptual Investigation. [PDF]
Sci Eng Ethics, 2022 Schnarr A, Mertz M.
europepmc +1 more source
Editorial: Embodied bounded rationality. [PDF]
Front Psychol, 2023 Viale R, Gallagher S, Gallese V.
europepmc +1 more source
Intuitionistic modal logics: epistemic reasoning with distributed knowledge [PDF]
Philippe Balbiani
openalex +1 more source
Epistemic planning for multi-robot systems in communication-restricted environments. [PDF]
Front Robot AI, 2023 Bramblett L, Bezzo N.
europepmc +1 more source
, 2012 We propose parametric constructive Kripke-semantics for multi-agent KD45-belief and S5-knowledge in terms of elementary set-theoretic constructions of two basic functional building blocks, namely bias (or viewpoint) and visibility, functioning also as ...
Kramer, Simon, Sack, Joshua
core
Deepfakes, Fake Barns, and Knowledge from Videos. [PDF]
Synthese, 2023 Matthews T.
europepmc +1 more source
Deontic-doxastic belief revision and linear system model. [PDF]
Front Psychol, 2022 Vestrucci A.
europepmc +1 more source
Agenda-setting in first sessions of business coaching-a focus on coaches' practices to manage the agenda and establish the working alliance. [PDF]
Front Psychol, 2023 Jautz S +3 more
europepmc +1 more source