Filters
Epistemic Logics for Relevant Reasoners
We present a neighbourhood-style semantic framework for modal epistemic logic modelling agents who process information using relevant logic. The distinguishing feature of the framework in comparison to relevant mod...
Pure mathematics
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Relevant Reasoners in a Classical World
We develop a framework for epistemic logic that combines relevant modal logic in accordance with a relevant modal logic while the propositional fragment of our logics for relevant modal <...
Pure mathematics
- 2022 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Prague Workshop on Epistemic Logics
The workshop is focused on alternative approaches to epistemic logics with special attention to systems based on relevant logics and justification logics....
AA - Filosofie a náboženství
- 2011 •
- W
Rok uplatnění
W - Uspořádání workshopu
Relevant Epistemic Logic/ Yearbook 2009 p.56-68
We propose a system of epistemic logic much weaker than the standard modal frameworks, which is based on the relevant logic R, extended with a distinctive epistemic modality K (knowledge)....
AA - Filosofie a náboženství
- 2010 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Relevant Propositional Dynamic Logic
Relevant propositional dynamic logics have been sporadically discussed in the broader context of modal relevant logics, but have not come up for sustained are relevant logics. these, we'll show ho...
Philosophy, History and Philosophy of science and technology
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
A relevant logic of questions
This paper introduces the inquisitive extension of R, denoted as InqR, which is a relevant logic of questions based on the logic R as the background logic of declaratives. A semantics for InqR is developed, and it ...
Philosophy, History and Philosophy of science and technology
- 2020 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Neighbourhood Semantics for Modal Relevant Logics
In this paper, we investigate neighbourhood semantics for modal extensions of relevant logics. In particular, we combine the neighbourhood interpretation of the relevant implication (and related connectives) with a neighbou...
Philosophy, History and Philosophy of science and technology
- 2023 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Relevant Epistemic Logic with Public Announcements and Common Knowledge
Building on our previous work in non-classical dynamic epistemic logic, we add common knowledge operators to a version of public announcement logic based on the relevant logic R . We prove a completeness result w...
Pure mathematics
- 2021 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Relevant Agents
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'. With this generalisation we provide a sound and complet...
BA - Obecná matematika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Epistemic Logic with Relevant Agents
is to discuss the possibility of using relevant logic as alternative 'realistic' framework.Epistemic states of rational agents are usually represented in the framework of modal logics, where knowledge corresponds to some k...
AA - Filosofie a náboženství
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 34 963