Modal satisfiability via SMT solving

Mostrar todas las versiones(2)

Modal logics extend classical propositional logic, and they are robustly decidable. Whereas most existing decision procedures for modal logics are based on tableau constructions, we propose a framework for obtaining decision procedures by adding instantiation rules to standard SAT and SMT solvers....

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Areces, Carlos Eduardo, Fontaine, Pascal, Merz, Stephan
Formato: bookPart submittedVersion
Lenguaje:Inglés
Publicado: 2021
Materias:
Lógica modal
SMT
Acceso en línea:http://hdl.handle.net/11086/22112
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares