The following pages link to (Q4438096):
Displaying 7 items.
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Annotated logics \(Q\tau\) and ultraproducts (Q2735849) (← links)
- Quantified propositional calculi and fragments of bounded arithmetic (Q3472099) (← links)
- Quantales and (noncommutative) linear logic (Q3478401) (← links)
- (Q3509173) (← links)
- (Q4305342) (← links)
- On the complexity of propositional quantification in intuitionistic logic (Q4358053) (← links)