Structural Completeness and Superintuitionistic Inquisitive Logics.

Thomas Ferguson Vít Puncochár

Published in: WoLLIC (2023)

Keyphrases

expressive power
modal logic
structural information
structural analysis
machine learning
search algorithm
structural constraints
real time
databases
social networks
computer vision
information systems
decision making
decision trees
inference rules
order sorted