An exercise on the generation of many-valued dynamic logics

Citation:
Madeira A, Neves R, Martins MA.  2016.  An exercise on the generation of many-valued dynamic logics. J. Log. Algebr. Meth. Program.. 85:1011–1037.

Abstract:

n/a

Notes:

n/a

Website

Citation Key:

DBLP:journals/jlp/MadeiraNM16
PreviewAttachmentSize
8.pdf507.36 KB