Logics of left variable inclusion and Płonka sums of matrices.

Stefano Bonzio Tommaso Moraschini Michele Pra Baldi

Published in: Arch. Math. Log. (2021)

Keyphrases

binary matrices
expressive power
modal logic
random variables
original data
binary matrix
artificial intelligence
case study
inference rules
positive definite
conditional logic
linear complementarity problem
epistemic logic
projection matrices
coefficient matrix
kronecker product