Pages that link to "Item:Q1317986"
From MaRDI portal
The following pages link to On propositional quantifiers in provability logic (Q1317986):
Displaying 5 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)
- (Q5101338) (← links)
