학술논문
Intuitionistic epistemology and modal logics of verification
Document Type
Conference Paper
Author
Source
In: Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 9394:295-307)
Subject
Language
English
ISSN
16113349
03029743
03029743