Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Pouliasis, Konstantinos"'
Autor:
Pouliasis, Konstantinos1
Publikováno v:
Logic Journal of the IGPL. Apr2017, Vol. 25 Issue 2, p269-270. 2p.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 21 January 2014 300:71-87
Autor:
Pouliasis, Konstantinos
Publikováno v:
Logic, Language, Information & Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings; 2016, p316-337, 22p
Publikováno v:
Bulletin of Symbolic Logic; Dec2017, Vol. 23 Issue 4, p500-539, 40p
Publikováno v:
Logic, Language, Information & Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings; 2016, p447-447, 1p
Publikováno v:
Bulletin of Symbolic Logic; Dec2016, Vol. 22 Issue 4, p538-578, 41p
Autor:
Sergei Artemov, Melvin Fitting
Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and t
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in Augu