scientific article; zbMATH DE number 6287571

zbMath1286.03066MaRDI QIDQ5411417

Tadeusz Litak

Publication date: 23 April 2014

Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/36_34_10.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

Lewis meets Brouwer: constructive strict implication, Cut-elimination for weak Grzegorczyk logic Go, Uniform Lyndon interpolation property in propositional modal logics, Constructive Modalities with Provability Smack, Modal Logics that Bound the Circumference of Transitive Frames