Pages that link to "Item:Q3248967"
From MaRDI portal
The following pages link to A generalization of the concept of<i>ω</i>-completeness (Q3248967):
Displaying 11 items.
- A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan (Q1163535) (← links)
- Four studies in metamathematics (Q1220068) (← links)
- Investigations into quantified modal logic. I (Q1227597) (← links)
- Relation algebras and function semigroups (Q2539869) (← links)
- Modal logic with subjunctive conditionals and dispositional predicates (Q2560224) (← links)
- In Memoriam: Leon Albert Henkin 1921–2006 (Q3398617) (← links)
- Leon Henkin (Q3454796) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- The Countable Henkin Principle (Q3454812) (← links)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- Truth Definitions and Consistency Proofs (Q5812184) (← links)
