The following pages link to (Q4028792):
Displayed 6 items.
- Theory matrices (for modal logics) using alphabetical monotonicity (Q687154) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Multimodal logic programming using equational and order-sorted logic (Q1199813) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- Free variable tableaux for propositional modal logics (Q4610317) (← links)