A general proof certification framework for modal logic.

Saved in:

Bibliographic Details
Title:	A general proof certification framework for modal logic.
Authors:	LIBAL, TOMER¹ (AUTHOR) tlibal@aup.edu, VOLPE, MARCO² (AUTHOR) volpe@fortiss.org
Source:	Mathematical Structures in Computer Science. Sep2019, Vol. 29 Issue 8, p1344-1378. 35p.
Database:	Mathematics Source

Description
ISSN:	09601295
DOI:	10.1017/S0960129518000440