110 research outputs found
Temporal Justification Logic
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic
A cognitive view of relevant implication
Relevant logics provide an alternative to classical implication
that is capable of accounting for the relationship between the antecedent
and the consequence of a valid implication. Relevant implication is usually
explained in terms of information required to assess a proposition.
By doing so, relevant implication introduces a number of cognitively relevant
aspects in the denition of logical operators. In this paper, we
aim to take a closer look at the cognitive feature of relevant implication.
For this purpose, we develop a cognitively-oriented interpretation of the
semantics of relevant logics. In particular, we provide an interpretation
of Routley-Meyer semantics in terms of conceptual spaces and we show
that it meets the constraints of the algebraic semantics of relevant logic
- …