How to extend the dialogical approach to provability logic

DOI10.1023/A:1010349800818zbMath0986.03047OpenAlexW6551300MaRDI QIDQ5946353

Ulrich Nortmann

Publication date: 3 June 2002

Published in: Synthese (Search for Journal in Brave)

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

zbMATH Keywords

modal logicprovability logicdialogue

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: How to extend the dialogical approach to provability logic