The following pages link to (Q3085169):
Displaying 5 items.
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- What is nominalistic mereology? (Q742476) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
- On the logic of belief and propositional quantification (Q2240550) (← links)
