Labelled tableaux for interpretability logics

zbMath1418.03177arXiv1605.05612MaRDI QIDQ5224691

Tuomas Hakoniemi, Joost J. Joosten

Publication date: 24 July 2019

Full work available at URL: https://arxiv.org/abs/1605.05612

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: Labelled tableaux for interpretability logics