Results 251 to 260 of about 27,099 (296)

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

Dynamic Epistemic Logic and Temporal Modality

, 2010
Dynamic epistemic logic allows us to model agents who learn new information about the world from events which they observe. In this paper, I add a backward-looking modality to the dynamic language, to allow for our expressing statements about what an agent knew before an event took place.
Audrey Yap
openalex   +2 more sources

Modal Deduction with Applications in Epistemic and Temporal Logics

, 1995
Abstract The widespread use of non-classical logics in Artificial Intelligence makes it desirable to have automated deduction methods (and in particular resolution methods) for these logics at our disposal. In this chapter we present several automated deduction methods for modal logics.
Luís Fariñas del Cerro, Andreas Herzig
openalex   +2 more sources

A general framework for modal correspondence in dynamic epistemic logic

, 2015
We introduce a unified framework for dynamic epistemic logics, which in particular encompasses Public Announcement Logic (PAL), Epistemic Action (EA) and Preference Upgrade (PU). Our framework consists of a generic language, in which some of the known reduction axioms are expressible, together with relational and algebraic semantics.
Shota Motoura
openalex   +2 more sources

Epistemic logic, skepticism, and non-normal modal logic

Philosophical Studies, 1981
Peter Κ. Schotch, R. E. Jennings
openalex   +2 more sources

On intuitionistic modal epistemic logic

Journal of Philosophical Logic, 1992

openalex   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Graded modalities in epistemic logic

1992
We propose an epistemic logic with so-called graded modalities, in which certain types of knowledge are expressible that are less absolute than in traditional epistemic logic. Beside ‘absolute knowledge’ (which does not allow for any exception), we are also able to express ‘accepting ϕ if there at most n exceptions to ϕ’.
W. van der Hoek, J. -J. Ch. Meyer
openaire   +1 more source

Concrete Epistemic Modal Logic: Flatland

2011
In this paper, we give a logic for perception and knowledge: Flatland. This semantics of this framework is a concrete Kripke model so that it is an easy-to-understand toy example for students. We present a piece of software called Plaza's world enabling to check formulas in such a concrete Kripke model and to announce formulas.
Olivier Gasquet, François Schwarzentruber   +1 more
openaire   +1 more source

Modal Epistemic Logic on Contracts: A Doctrinal Approach

2019
Problems related to the construction of consensus out of distributed knowledge have become actual again under a new perspective with the diffusion of distributed ledger techniques. In particular, when dealing with contracts, different observers must agree that a contract is in a certain state, even if not all transactions performed under the contract ...
Bottoni P., Gorla D., Kasangian S., Labella A.   +3 more
openaire   +1 more source

Modal Epistemic and Doxastic Logic

2003
Knowledge has always been a topic central to philosophy (cf. e.g. [Glymour, 1992]). Since ancient times philosophers have been interested in the way knowledge comes to us and in what way it relates to reality, the world in which we live. As is the case with so many things, during this century also the topic of knowledge has become the subject of formal
openaire   +2 more sources