Results 31 to 40 of about 10,593 (211)
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
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
Algebra and Sequent Calculus for Epistemic Actions
, 2005 We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii ...
Sadrzadeh, Mehrnoosh +4 more
core +1 more source
Structures for Epistemic Logic [PDF]
, 2014 In this chapter we overview the main structures of epistemic and doxastic logic. We start by discussing the most celebrated models for epistemic logic, i.e., epistemic Kripke structures. These structures provide a very intuitive interpretation of the accessibility relation, based on the notion of information.
Bezhanishvili, N., van der Hoek, W.
openaire +4 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 +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 +1 more
doaj +1 more source
Automata Techniques for Epistemic Protocol Synthesis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing ad infinitum a propositional event model from an initial epistemic model ...
Guillaume Aucher +2 more
doaj +1 more source
Agent-Knowledge Logic for Alternative Epistemic Logic
Bulletin of the Section of LogicEpistemic 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
Epistemic Logic: A Survey of the Logic of Knowledge
Principia: An International Journal of Epistemology, 2018 Nesta resenha, eu destaco algumas das inovações na lógica epistêmica desenvolvida por Nicholas Rescher e amplio a discussão para o ensino de virtudes intelectuais.
Alexandre Ziani de Borba
doaj +1 more source