Show simple item record

Modal satisfiability via SMT solving

dc.contributor.authorAreces, Carlos Eduardo
dc.contributor.authorFontaine, Pascal
dc.contributor.authorMerz, Stephan
dc.date.accessioned2021-12-22T18:58:41Z
dc.date.available2021-12-22T18:58:41Z
dc.date.issued2015
dc.identifier.urihttp://hdl.handle.net/11086/22112
dc.description.abstractModal 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. Soundness, completeness, and termination of the procedures can be proved in a uniform and elementary way for the basic modal logic and some extensions.es
dc.format.mediumImpreso
dc.language.isoenges
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectLógica modalen
dc.subjectSMTen
dc.titleModal satisfiability via SMT solvingen
dc.typebookPartes
dc.description.versioninfo:eu-repo/semantics/submittedVersion
dc.description.filFil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.es
dc.description.filFil: Areces, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.es
dc.description.filFil: Fontaine, Pascal. Université de Lorraine; Francia.es
dc.description.filFil: Fontaine, Pascal. National Institute for Research in Digital Science and Technology; Francia.es
dc.description.filFil: Merz, Stephan. Université de Lorraine; Francia.es
dc.description.filFil: Merz, Stephan. National Institute for Research in Digital Science and Technology; Francia.es
dc.journal.referatoCon referato
dc.description.fieldCiencias de la Computación
dc.book.countrySuiza
dc.book.editorialSpringer International Publishing
dc.book.firstpage30
dc.book.lastpage45
dc.book.pages694
dc.book.roleAutor
dc.book.volume8950
dc.book.titleSoftware, Services, and Systemsen


Files in this item

Thumbnail
Name:
wirsing14.pdf
Size:
193.0Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivatives 4.0 International
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivatives 4.0 International