Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Rovira, Jan Mas"'
Interpretability logics are endowed with relational semantics \`a la Kripke: Veltman semantics. For certain applications though, this semantics is not fine-grained enough. Back in 1992, in the research group of de Jongh, the notion of generalised Vel
Externí odkaz:
http://arxiv.org/abs/2007.04722
