Undefinability in Inquisitive Logic with Tensor.

Ivano Ciardelli Fausto Barbero

Published in: LORI (2019)

Keyphrases

higher order
high order
modal logic
classical logic
tensor space
automated reasoning
logic programming
predicate logic
asynchronous circuits
multiscale
diffusion tensor
logical framework
formal theory