Publication:2771733
From MaRDI portal
zbMath0992.03013MaRDI QIDQ2771733
Publication date: 18 February 2002
completeness; compactness; self-reference; soundness; abstract logic; Löwenheim-Skolem theorem; classical negation; \(\in_T\)-extension of a logic; intensional structures; parametrized \(\in_T\)-logic; total truth predicate
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B22: Abstract deductive systems
Related Items
\(\in_K\): a non-Fregean logic of explicit knowledge, Reasoning about proof and knowledge, Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity