scientific article
From MaRDI portal
Publication:2915733
zbMath1252.03138MaRDI QIDQ2915733
Publication date: 18 September 2012
Full work available at URL: http://hrcak.srce.hr/index.php?show=clanak&id_clanak_jezik=123527&lang=en
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Relative consistency and interpretations (03F25)
Related Items (2)
On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\) ⋮ The Closed Fragment of IL is PSPACE Hard
This page was built for publication:
