A Duality for Distributive Unimodal Logic.

Published in: Advances in Modal Logic (2014)

Keyphrases

logic programming
multi valued
proof theory
linear programming
automated reasoning
asynchronous circuits
logic synthesis
real time
epistemic logic
formal theory
classical logic
logical framework
modal logic
image sequences
search engine
artificial intelligence
genetic algorithm