Pages that link to "Item:Q286706"
From MaRDI portal
The following pages link to Non-Fregean propositional logic with quantifiers (Q286706):
Displaying 12 items.
- Polish notation (Q500020) (← links)
- Grzegorczyk's logics. I (Q500021) (← links)
- Number of extensions of non-Fregean logics (Q815015) (← links)
- Predicate provability logic with non-modalized quantifiers (Q1176101) (← links)
- Quantifier-free versions of first order logic and their psychological significance (Q1187977) (← links)
- Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842) (← links)
- Number of non-Fregean sentential logics that have adequate models (Q3419665) (← links)
- (Q3791119) (← links)
- Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate (Q4914001) (← links)
- (Q5116392) (← links)
- (Q5855515) (← links)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)