scientific article; zbMATH DE number 1471974

zbMath0952.03018MaRDI QIDQ4489058

Tadao Ishii

Publication date: 11 January 2001

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

zbMATH Keywords

modal logiccompleteness theoremKripke-type semanticsAngell's system AC of analytic containmentclassical propositional logic with identityCorsi's weak logic F with strict implication

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical propositional logic (03B05)

Related Items (3)

Some remarks on semantics and expressiveness of the sentential calculus with identity ⋮ Tableau-based decision procedure for non-Fregean logic of sentential identity ⋮ Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity

This page was built for publication: