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

Authors
Publication date
1 June 2016
Publisher
Siberian Federal University
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Crossref

      redirect
      oaiinfo:doi/10.17516%2F1997-1397-...
      Last time updated on 01/04/2019