Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information (2009)

First Author: Sadrzadeh M

Attributed to: Algebraic and coalgebraic semantics for knowledge acquisition: foundations, applications, and tool support funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.0903.2448

Publication URI: https://arxiv.org/abs/0903.2448

Type: Preprint