Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).
type: Item
instance of: scholarly article
title: Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).
zbMATH Open document ID: 1033.03509
author: Fausto Giunchiglia
author: Roberto Sebastiani
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 1853128
zbMATH Keywords: decision procedures
zbMATH Keywords: propositional modal logics
MaRDI profile type: Publication
full work available at URL: inco.1999.2850
OpenAlex ID: W2021025450
cites work: Embedding complex decision procedures inside an interactive theorem prover.
cites work: A machine program for theorem-proving
cites work: The Taming of the Cut. Classical Refutations with Analytic Cut
cites work: First-order modal tableaux
cites work: Multilanguage hierarchical logics, or: How we can do without modal logics
cites work: A guide to completeness and complexity for modal logics of knowledge and belief
cites work: Strongly analytic tableaux for normal modal logics
cites work: Q4012244
cites work: Q4386960
cites work: Ordered Binary Decision Diagrams and the Davis-Putnam procedure
cites work: Exploiting the deep structure of constraint problems
DOI: 10.1006/INCO.1999.2850
description: scientific article; zbMATH DE number 1853128