Order-dual relational semantics for non-distributive propositional logics.

Chrysafis Hartonas

Published in: Log. J. IGPL (2017)

Keyphrases

logic programming
expressive power
modal logic
multi valued
nonmonotonic logics
temporal logic
formal semantics
general theory
proof theory