The following pages link to (Q5536236):
Displaying 14 items.
- First order expressivist logic (Q485622) (← links)
- A logic for multiple-source approximation systems with distributed knowledge base (Q763469) (← links)
- What's so logical about the ''logical'' axioms? (Q1059062) (← links)
- A first-order logic with no logical constants (Q1263571) (← links)
- Formal reasoning in preference-based multiple-source rough set model (Q1671288) (← links)
- First-order modal logic (Q1870904) (← links)
- An update logic for information systems (Q2353689) (← links)
- (Q3367332) (← links)
- Henkin’s Theorem in Textbooks (Q3454810) (← links)
- (Q4023552) (← links)
- (Q4342019) (← links)
- Relating Z and first-order logic (Q5926770) (← links)
- Ordered Fragments of First-Order Logic (Q6168480) (← links)
- First-order modal logic (Q6535436) (← links)