scientific article; zbMATH DE number 1946871
From MaRDI portal
Publication:4411160
zbMath1056.68136MaRDI QIDQ4411160
Roberto Sebastiani, Peter F. Patel-Schneider
Publication date: 7 July 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Symmetric blocking ⋮ Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ : A Resolution-Based Prover for Multimodal K ⋮ Efficient SAT-based minimal model generation methods for modal logic S5
Uses Software
This page was built for publication:
