The following pages link to (Q4411160):
Displaying 7 items.
- Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075) (← links)
- Symmetric blocking (Q897931) (← links)
- Efficient SAT-based minimal model generation methods for modal logic S5 (Q2118302) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
- (Q4539634) (← links)
- Random generation of capacities and its application in comprehensive decision aiding (Q6066177) (← links)
