Efficient local reductions to basic modal logic
type: Item
instance of: scholarly article
title: Efficient local reductions to basic modal logic
DOI: 10.1007/978-3-030-79876-5_5
author: Fabio Papacchini
author: Cláudia Nalon
author: Ullrich Hustadt
author: Clare Dixon
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7437073
MaRDI profile type: Publication
full work available at URL: 978-3-030-79876-5 5
OpenAlex ID: W3176063663
cites work: A benchmark method for the propositional modal logics K, KT, S4
cites work: Labelled propositional modal logics: theory and practice
cites work: Multimodal and intuitionistic logics in simple type theory
cites work: Prefixed tableaus and nested sequents
cites work: Decidability results in non-classical logics
cites work: Automated Reasoning with Analytic Tableaux and Related Methods
cites work: A guide to completeness and complexity for modal logics of knowledge and belief
cites work: Reducing Modal Consequence Relations
cites work: Q5465444
cites work: Clausal resolution for normal modal logics
cites work: Modal Resolution
cites work: A Modal-Layered Resolution Calculus for K
cites work: : A Resolution-Based Prover for Multimodal K
cites work: \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
cites work: ExpTime tableau decision procedures for regular grammar logics with converse
cites work: Encoding two-valued nonclassical logics in classical logic
cites work: MleanCoP: A Connection Prover for First-Order Modal Logic
cites work: BDD-based decision procedures for the modal logic K ★
cites work: Decidability by resolution for propositional modal logics
cites work: The axiomatic translation principle for modal logic
cites work: First-Order Resolution Methods for Modal Logics
cites work: The higher-order prover Leo-III
cites work: Combining superposition, sorts and splitting
description: scientific article; zbMATH DE number 7437073