Assuring and critical labels for relations between maximal consistent sets for interpretability logics

arXiv2003.04623MaRDI QIDQ6336450

Luka Mikec, Evan Goris, Joost J. Joosten, Marta Bílková

Publication date: 10 March 2020

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: Assuring and critical labels for relations between maximal consistent sets for interpretability logics