Pages that link to "Item:Q5221578"
From MaRDI portal
The following pages link to Expressive power of infinitary [0, 1]-valued logics (Q5221578):
Displaying 9 items.
- Expressive power and incompleteness of propositional logics (Q965859) (← links)
- Infinitary logics and 0-1 laws (Q1193591) (← links)
- Deciding simple infinity axiom sets with one binary relation by means of superpostulates (Q2096446) (← links)
- Omitting uncountable types and the strength of \([0,1]\)-valued logics (Q2442152) (← links)
- Involutive uninorm logic with the \(n\)-potency axiom (Q2450645) (← links)
- Two applications of topology to model theory (Q2660154) (← links)
- (Q2941273) (← links)
- On the Expressive Power of Cost Logics over Infinite Words (Q3167019) (← links)
- On the complexity of the theory of a computably presented metric structure (Q6077947) (← links)