Pages that link to "Item:Q3248967"
From MaRDI portal
The following pages link to A generalization of the concept of<i>ω</i>-completeness (Q3248967):
Displayed 8 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)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- Truth Definitions and Consistency Proofs (Q5812184) (← links)