Results 21 to 30 of about 4,530 (262)

Epistemic logic for metadata modelling from scientific papers on Covid-19

Science & Philosophy, 2021
The field of epistemic logic developed into an interdisciplinary area focused on explicating epistemic issues in, for example, artificial intelligence, computer security, game theory, economics, multiagent systems and the social sciences.
Simone Cuconato
doaj   +1 more source

A New Modal Framework for Epistemic Logic [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of \
Yanjing Wang
doaj   +1 more source

The logic of epistemic justification [PDF]

Synthese, 2017
Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases-predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical ...
openaire   +3 more sources

Logical Analogies: Interpretations, Oppositions, and Probabilism

Philosophies, 2019
I present two logical systems to show the “analogy of proportionality„ common to several interpretations: modality (necessity and possibility), quantification, truth-functional relations, moral attitudes (deontic logic), states of knowledge ...
Walter Redmond
doaj   +1 more source

Dynamic epistemic logic in update logic [PDF]

Journal of Logic and Computation, 2016
We show that dynamic epistemic logic (DEL) is a substructural logic and that it is an extension of the update logic introduced in the companion article [12]. We identify axioms and inference rules that completely characterize the DEL product update, and we provide a sequent calculus for DEL.
openaire   +2 more sources

Logics of temporal-epistemic actions [PDF]

Synthese, 2015
We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation. These operations are natural extensions of the well-known "action models" from Dynamic Epistemic Logic.
Bryan Renne, Joshua Sack, Audrey Yap
openaire   +5 more sources

SMALL INFINITARY EPISTEMIC LOGICS [PDF]

The Review of Symbolic Logic, 2019
AbstractWe develop a series of small infinitary epistemic logics to study deductive inference involving intra-/interpersonal beliefs/knowledge such as common knowledge, common beliefs, and infinite regress of beliefs. Specifically, propositional epistemic logics GL (Lα) are presented for ordinalαup to a givenαo(αo≥ω) so that GL(L0) is finitary ...
Hu, Tai-Wei, Kaneko, Mamoru, Suzuki, Nobuyuki   +2 more
openaire   +4 more sources

Sequent calculus for logic of correlated knowledge

Lietuvos Matematikos Rinkinys, 2011
Sound and complete sequent calculi for general epistemic logic and logic of correlated knowledge are presented in this paper.
Haroldas Giedra, Jūratė Sakalauskaitė   +1 more
doaj   +1 more source

Design of a Solver for Multi-Agent Epistemic Planning [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
As the interest in Artificial Intelligence continues to grow it is becoming more and more important to investigate formalization and tools that allow us to exploit logic to reason about the world.
Francesco Fabiano
doaj   +1 more source

Agent-Knowledge Logic for Alternative Epistemic Logic

Bulletin of the Section of Logic
Epistemic logic is known as a logic that captures the knowledge and beliefs of agents and has undergone various developments. In this paper, we propose a new logic called agent-knowledge logic by taking the product of individual knowledge structures and
Yuki Nishimura
doaj   +1 more source