The following pages link to (Q5332215):
Displaying 50 items.
- A theory of infinitary relations extending Zermelo's theory of infinitary propositions (Q284223) (← links)
- A geo-logical solution to the lottery paradox, with applications to conditional logic (Q382993) (← links)
- \(\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\) (Q582286) (← links)
- Formalizing Dijkstra's predicate transformer wp in weak second-order logic (Q673132) (← links)
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem (Q754168) (← links)
- Semantics for dual preferential entailment (Q839649) (← links)
- Karp's interpolation theorem for some classes of infinitary languages (Q914662) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Homogeneous and strictly homogeneous criteria for partial structures (Q1028463) (← links)
- Graded modalities. I (Q1065786) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Algorithmic logic. Multiple-valued extensions (Q1155047) (← links)
- Proving total correctness of nondeterministic programs in infinitary logic (Q1155605) (← links)
- An algebraic treatment of the Barwise compactness theory (Q1181483) (← links)
- Modular structuring of VDM specifications in VVSL (Q1184682) (← links)
- A model of ZF with an infinite free complete Boolean algebra (Q1221110) (← links)
- Completeness theorems for continuous functions and product topologies (Q1232838) (← links)
- 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 (Q1241504) (← links)
- Iterative and fixed point common belief (Q1283322) (← links)
- Stratified least fixpoint logic (Q1331926) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- Invariance and definability, with and without equality (Q1704087) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras (Q1838960) (← links)
- An infinitary probability logic for type spaces (Q1932650) (← links)
- Constrained consequence (Q1941731) (← links)
- Koepke machines and satisfiability for infinitary propositional languages (Q2011652) (← links)
- Completeness theorems for \(\sigma \)-additive probabilistic semantics (Q2291370) (← links)
- Scott sentences for equivalence structures (Q2309506) (← links)
- Definable functions of universal algebras and definable equivalence between algebras. (Q2342309) (← links)
- An example related to Gregory's theorem (Q2377350) (← links)
- Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875) (← links)
- Higher-order contingentism. I: Closure and generation (Q2410888) (← links)
- Weakly complete axiomatization of exogenous quantum propositional logic (Q2495653) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- On the number of homogeneous models of a given power (Q2526346) (← links)
- Linguistically invariant inductive logic (Q2533185) (← links)
- On the weak representability of \(\sigma\)-complete dimension complemented cylindric algebras (Q2550390) (← links)
- Game logic and its applications. I (Q2563453) (← links)
- Enumerations in computable structure theory (Q2570135) (← links)
- Modeling limits in hereditary classes: reduction and application to trees (Q2629494) (← links)
- Symbioses between mathematical logic and computer science (Q2630825) (← links)
- An infinitary propositional probability logic (Q2700825) (← links)
- (Q2847082) (← links)
- Guarded resolution for Answer Set Programming (Q3087811) (← links)
- On the Set-Generic Multiverse (Q3305408) (← links)
- Free Suslin algebras (Q4161324) (← links)
- LOGICALITY AND MODEL CLASSES (Q5037517) (← links)
