Proof theory for hybrid(ised) logics

Citation:
Neves R, Madeira A, Martins MA, Barbosa L{\'ı}s S.  2016.  Proof theory for hybrid(ised) logics. Sci. Comput. Program.. 126:73–93.

Abstract:

n/a

Notes:

n/a

Website

Citation Key:

DBLP:journals/scp/NevesMMB16