<<
>>

Geach Justification Logics Axiomatically

We have already looked at S4.2 and JT4.2 in detail, in Sections 2.7.4, 4.3.6, It is convenient to make use of vector notation for function symbols too.

8.5

<< | >>
Source: Artemov S., Fitting M.. Justification Logic: Reasoning with Reasons. Cambridge: Cambridge University Press,2019. — 271 p.. 2019

More on the topic Geach Justification Logics Axiomatically:

  1. Artemov S., Fitting M.. Justification Logic: Reasoning with Reasons. Cambridge: Cambridge University Press,2019. — 271 p., 2019