Relevant Agents

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F10%3A00348911" target="_blank" >RIV/67985955:_____/10:00348911 - isvavai.cz</a>

Alternative codes found

RIV/67985807:_____/10:00348911

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Relevant Agents

Original language description

We study a relevant logic for epistemic agents proposed by Majer and Pelis, providing a novel extension of the relevant logic R with a distinctive epistemic modality K, which is at the one and the same time factive (KA implies A) and an existential normal modal operator. The intended interpretation is that KA holds (relative to a situation s) if there is a resource available at s, confirming A. In this article we expand the class of models to the broader class of 'general epistemic frames'. With this generalisation we provide a sound and complete axiomatisation for the logic of general relevant epistemic frames. We also show, that each of the modal axioms characterises some natural subclasses of general frames.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2010

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Advances in Modal Logic

ISBN

978-1-84890-013-4

ISSN

—

e-ISSN

—

Number of pages

17

Pages from-to

—

Publisher name

College Publications

Place of publication

London

Event location

Moscow

Event date

Aug 24, 2010

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—