scientific article; zbMATH DE number 6287591

zbMath1286.03109MaRDI QIDQ5411438

Tomasz Jarmużek

Publication date: 23 April 2014

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

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Pure modal logic of names and tableau systems ⋮ Tableau Metatheorem for Modal Logics

This page was built for publication: