Duality for Instantial Neighbourhood Logic via Coalgebra.

Nick Bezhanishvili Sebastian Enqvist Jim de Groot

Published in: CMCS (2020)

Keyphrases

modal logic
classical logic
linear programming
logic programming
computer vision
automated reasoning
asynchronous circuits
multi valued
predicate logic