Model checking and validity in propositional and modal inclusion logics

Authors
Publication date
28 November 2019
Publisher
'Oxford University Press (OUP)'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Trepo - Institutional Repository of Tampere University

      redirect
      oaioai:trepo.tuni.fi:10024/118393
      Last time updated on 05/12/2019

      TamPub Julkaisuarkisto - TamPub Institutional Repository

      redirect
      oaioai:trepo.tuni.fi:10024/118393
      Last time updated on 06/12/2019