The Baire Closure and its Logic.

Guram Bezhanishvili David Fernández-Duque

Published in: J. Symb. Log. (2024)

Keyphrases

classical logic
modal logic
computational properties
asynchronous circuits
logic synthesis
logic programming
database
data sets
computer vision
multi agent
constraint satisfaction problems