Szukaj
Wyświetlanie pozycji 1-1 z 1
Tableau Systems for Epistemic Positional Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-06-30)
The goal of the article is twofold. The first one is to provide logics based on positional semantics which will be suitable for the analysis of epistemic modalities such as ‘agent ... knows/beliefs that ...’. The second ...