On the existence of continua of logics between some intermediate predicate logics

DOI10.1023/A:1005289716336zbMath0963.03043OpenAlexW1572500839MaRDI QIDQ1975164

Dimitrij Skvortsov

Publication date: 18 June 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005289716336

zbMATH Keywords

Jankov formulaintermediate predicate logicKripke-type semanticscardinality of a class of logics

Mathematics Subject Classification ID

Intermediate logics (03B55)

This page was built for publication: On the existence of continua of logics between some intermediate predicate logics