Work

Epistemic Logics for Relevant Reasoners

Year: 2024

Type: article

Abstract: 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 modal logic is that the environment the agent is situated in is assumed to be a classical possible world. This framework generates two-layered logics combining classical logic on the propositional level with relevant logic in the scope of modal operators. Our main technical result is a general soundness and completeness theorem.

Source: Journal of Philosophical Logic

DOI: 10.1007/s10992-024-09770-7

Authors: Igor Sedlár, Pietro Vigiani

Institutions: Czech Academy of Sciences, Czech Academy of Sciences, Institute of Computer Science, Scuola Normale Superiore

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,890

Funders: Scuola Normale Superiore, Grantová Agentura České Republiky