Number of the records: 1

Relevant Agents

SYSNO ASEP	0348911
Document Type	C - Proceedings Paper (int. conf.)
R&D Document Type	Conference Paper
Title	Relevant Agents
Author(s)	Bílková, Marta (UIVT-O)_{SAI, RID, ORCID} Majer, Ondrej (FLU-F)_{RID, ORCID, SAI} Peliš, Michal (FLU-F)_{RID, ORCID} Restall, G. (AU)
Source Title	Advances in Modal Logic. - London : College Publications, 2010 / Beklemishev L. ; Goranko V. ; Shehtman V. - ISBN 978-1-84890-013-4
Pages	s. 22-38
Number of pages	17 s.
Action	Advances in Modal Logic
Event date	24.08.2010-27.08.2010
VEvent location	Moscow
Country	RU - Russian Federation
Event type	WRD
Language	eng - English
Country	GB - United Kingdom
Keywords	modal logic ; epistemic logic ; relevant logic ; substructural logic ; frame semantics
Subject RIV	BA - General Mathematics
R&D Projects	GEICC/08/E018 GA ČR - Czech Science Foundation (CSF)
	IAA900090703 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
	AV0Z90090514 - FLU-F (2005-2011)
EID SCOPUS	84858633111
Annotation	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.
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2011

Number of the records: 1