The intensional structure of epistemic convictions. (English) Zbl 1474.03070
Cleophas, Loek (ed.) et al., Software engineering and formal methods. SEFM 2020 collocated workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12524, 192-200 (2021).
MSC:
03B42