scientific article; zbMATH DE number 3206304
From MaRDI portal
Publication:5332215
zbMath0127.00901MaRDI QIDQ5332215
Publication date: 1964
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Structured algebraic specifications: A kernel language, LOGICALITY AND MODEL CLASSES, Stratified least fixpoint logic, A theory of infinitary relations extending Zermelo's theory of infinitary propositions, The Interior Operator Logic and Product Topologies, Infinitary first-order categorical logic, Common knowledge logic and game logic, On observational equivalence and algebraic specification, A survey of proof theory, Infinitary Equilibrium Logic and Strong Equivalence, Semantics for dual preferential entailment, Modeling limits in hereditary classes: reduction and application to trees, Symbioses between mathematical logic and computer science, Reduced products and nonstandard logics, An example related to Gregory's theorem, Implicit definability and infinitary languages, Unnamed Item, Infinitary logic and admissible sets, Weakly atomic-compact relational structures, Infinitary equilibrium logic and strongly equivalent logic programs, A geo-logical solution to the lottery paradox, with applications to conditional logic, Higher-order contingentism. I: Closure and generation, Infinitary analogs of theorems from first order model theory, Persistent and invariant formulas relative to theories of higher order, An infinitary probability logic for type spaces, On the model theory of denumerably long formulas with finite strings of quantifiers, Boolean valued semantics for infinitary logics, On equivalence of infinitary formulas under the stable model semantics, An infinitary encoding of temporal equilibrium logic, Products of two-sorted structures, Incompleteness of a formal system for infinitary finite-quantifier formulas, Existential relations on infinite structures, The completeness theorem for infinitary logic, Constrained consequence, INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY, Definability problems for modules and rings, Free Suslin algebras, Algorithmic logic. Multiple-valued extensions, Invariance and definability, with and without equality, Proving total correctness of nondeterministic programs in infinitary logic, The Hanf number for complete Lω1,ω-sentences (without GCH), The model-companion of a class of structures, An infinitary propositional probability logic, Karp's interpolation theorem for some classes of infinitary languages, Infinitary formulas preserved under unions of models, From KLM-style conditionals to defeasible modalities, and back, Infinitary S5‐Epistemic Logic, An algebraic treatment of the Barwise compactness theory, Modular structuring of VDM specifications in VVSL, α-degrees of α-theories, On the Set-Generic Multiverse, Formalizing Dijkstra's predicate transformer wp in weak second-order logic, The foundations of Suslin logic, Unnamed Item, Kripke completeness of infinitary predicate multimodal logics, Logic, logics, and logicism, Koepke machines and satisfiability for infinitary propositional languages, Lω1ω is enough: a reduction theorem for some infinitary languages, A model of ZF with an infinite free complete Boolean algebra, Weakly complete axiomatization of exogenous quantum propositional logic, Completeness theorems for continuous functions and product topologies, A modal proof theory for final polynomial coalgebras, \(\lambda\)-satisfiability, \(\lambda\)-consistency property, the downward Löwenheim-Skolem theorem, and the failure of the interpolation theorem for \(L_{\kappa,\kappa}\) with \(\kappa\) a strong limit cardinal of cofinality \(\lambda\), Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality, Completeness theorems for \(\sigma \)-additive probabilistic semantics, On the number of homogeneous models of a given power, SMALL INFINITARY EPISTEMIC LOGICS, Recursive logic frames, Guarded resolution for Answer Set Programming, Linguistically invariant inductive logic, In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem, Scott sentences for equivalence structures, The Craig interpolation theorem in abstract model theory, Key notions of Tarski's methodology of deductive systems, Homogeneous and strictly homogeneous criteria for partial structures, Hyperfinite logics and non-standard extensions of Boolean algebras, On the weak representability of \(\sigma\)-complete dimension complemented cylindric algebras, Iterative and fixed point common belief, The role of the Omitting Types Theorem in infinitary logic, Game logic and its applications. I, Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras, Enumerations in computable structure theory, INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM, Definable functions of universal algebras and definable equivalence between algebras., Graded modalities. I
