The following pages link to (Q3922159):
Displayed 7 items.
- An essay in combinatory dynamic logic (Q809068) (← links)
- PDL with data constants (Q1065545) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- On models for propositional dynamic logic (Q1183594) (← links)
- Peirce algebras (Q1333408) (← links)
- The price of universality (Q1815426) (← links)
- Some applications of topology to program semantics (Q3340119) (← links)