Publication:4822147
From MaRDI portal
zbMath1051.03020MaRDI QIDQ4822147
George Tourlakis, Francisco Kibedi
Publication date: 25 October 2004
Related Items
An Arithmetically Complete Predicate Modal Logic, On the proof-theory of two formalisations of modal first-order logic, A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs