Lindenbaum and Pair Extension Lemma in Infinitary Logics.

Marta Bílková Petr Cintula Tomás Lávicka

Published in: WoLLIC (2018)

Keyphrases

expressive power
pairwise
real time
modal logic
inference rules
proof theoretic
artificial intelligence
computer vision
multiscale
hidden markov models
computational properties
propositional dynamic logic
johnson lindenstrauss