Algebras for Relevant Reasoners
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F25%3A00637407" target="_blank" >RIV/67985807:_____/25:00637407 - isvavai.cz</a>
Result on the web
<a href="https://www.collegepublications.co.uk/downloads/ifcolog00073.pdf#page=176" target="_blank" >https://www.collegepublications.co.uk/downloads/ifcolog00073.pdf#page=176</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Algebras for Relevant Reasoners
Original language description
The informational interpretations of relevant logic suggest that it provides a natural framework for the development of epistemic logic. This paper proposes a simple extension of relevant modal logic to formalise reasoning about relevant reasoners situated in classical worlds. This approach avoids many of the technical challenges of previous proposals and allows for straightforward algebraic generalisation. The main technical result is a representation theorem for a class of relevant algebras, which provides a solid foundation for further exploration of relevant epistemic logic.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics
Result continuities
Project
<a href="/en/project/GA22-01137S" target="_blank" >GA22-01137S: Metamathematics of substructural modal logics</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Journal of Applied Logics-IfCoLoG Journal of Logics and their Applications
ISSN
2631-9810
e-ISSN
2631-9829
Volume of the periodical
12
Issue of the periodical within the volume
5
Country of publishing house
GB - UNITED KINGDOM
Number of pages
18
Pages from-to
1285-1302
UT code for WoS article
001507466300008
EID of the result in the Scopus database
—