Temporal Justification Logic

Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74 (2017)
Download Edit this record How to cite View on PhilPapers
Abstract
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic.
Categories
PhilPapers/Archive ID
BUCTJL
Upload history
Archival date: 2018-01-18
View other versions
Added to PP index
2018-01-11

Total views
208 ( #31,339 of 65,755 )

Recent downloads (6 months)
17 ( #41,152 of 65,755 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.