Polyatomic logics and generalized Blok-Esakia theory.

Rodrigo Nicolau Almeida

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

Keyphrases

expressive power
databases
artificial intelligence
decision making
computational model
theoretical framework
theoretical basis
proof theory
database
computer vision
multiscale
support vector
artificial neural networks
modal logic
formal theory