scientific article; zbMATH DE number 1021638
From MaRDI portal
Publication:4340909
zbMath0888.03032MaRDI QIDQ4340909
Melvin Fitting, Raymond M. Smullyan
Publication date: 16 June 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Nonclassical and second-order set theories (03E70) Set theory (03Exx)
Related Items
On generalized methods of successive approximations, A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach, Partitioning Kripke frames of finite height, Categoricity results for second-order ZF in dependent type theory, Forcing and the universe of sets: must we lose insight?, On some categories of structured sets, Idempotent completions of \(n\)-exangulated categories, On fuzzification of Tarski's fixed point theorem without transitivity, Surreal numbers with derivation, Hardy fields and transseries: a survey, CAN MODALITIES SAVE NAIVE SET THEORY?, Common coupled fixed point results for operators without mixed monotone type properties and application to nonlinear integral equations, The modal logic of forcing, A comparative study of Tarski's fixed point theorems with the stress on commutative sets of \(\mathbf{L}\)-fuzzy isotone maps with respect to transitivities, Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940, Categoricity theorems and conceptions of set
