Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic.

Published in: Stud Logica (2022)

Keyphrases

classical logic
modal logic
logic programming
digital circuits
computational properties
automated reasoning
similarity measure
logic programs
expert systems
multi valued
logical framework
video sequences
multiscale
database systems
deontic logic
proof theory
intuitionistic logic