scientific article; zbMATH DE number 1163935
From MaRDI portal
Publication:4395559
zbMath0904.03023MaRDI QIDQ4395559
Michał Krynicki, Marcin Mostowski
Publication date: 19 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85)
Related Items (10)
Degrees of logics with Henkin quantifiers in poor vocabularies ⋮ Relative computability and uniform continuity of relations ⋮ Truth and definite truth ⋮ Computational complexity of the semantics of some natural language constructions ⋮ Alternating (in)dependence-friendly logic ⋮ Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies ⋮ Henkin quantifiers and the definability of truth ⋮ IF-logic and truth-definition ⋮ Partially ordered connectives and monadic monotone strict NP ⋮ Succinctness as a source of complexity in logical formalisms
This page was built for publication:
