Temporal Justification Logic

Bucheli, S; Ghari, M; Studer, T

Bucheli, S (reprint author), Zhlke Engn AG, Bogenschtzenstr 9A, CH-3008 Bern, Switzerland.

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017; (243): 59

Abstract

Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic struc......

Full Text Link