Article thumbnail

Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK

By Stepan I. Bashmakov and null null
Publisher: Siberian Federal University
Year: 2016
DOI identifier: 10.17516/1997-1397-2016-9-2-149-157
OAI identifier:
Provided by: MUCC (Crossref)
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.