Results 31 to 40 of about 132,694 (289)

MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications [PDF]

, 2014
We introduce MCMAS-SLK, a BDD-based model checker for the verification of systems against specifications expressed in a novel, epistemic variant of strategy logic.
Lomuscio, Alessio, Mogavero, Fabio, Murano, Aniello, Čermák, Petr   +3 more
core   +2 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

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, Bastien Maubert, Sophie Pinchinat   +2 more
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

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

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

Disagreement and Philosophical Progress [PDF]

, 2015
In “Belief in the Face of Controversy,” Hilary Kornblith argues for a radical form of epistemic modesty: given that there has been no demonstrable cumulativeprogress in the history of philosophy – as there has been in formal logic, math, and science ...
Ables, Brent
core   +1 more source

Epistemic Logic Programs: A Different World View [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
Epistemic Logic Programs (ELPs), an extension of Answer Set Programming (ASP) with epistemic operators, have received renewed attention from the research community in recent years.
Michael Morak
doaj   +1 more source

Erotetic Epistemic Logic

Logic and Logical Philosophy, 2017
Summary: This paper presents a logic of questions developed as an extension of (\textsf{S5}) epistemic logic. We discuss many features that are important for erotetic logic (formalization and semantics of questions, answerhood conditions, and inferential structures with questions).
openaire   +4 more sources

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