Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
type: Item
instance of: scholarly article
title: Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
zbMATH Open document ID: 1215.03031
author: Carlos Areces
author: Daniel Gorín
published in: Journal of Applied Logic
publication date: 2011-03-22T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 5869143
zbMATH Keywords: modal logics
zbMATH Keywords: hybrid logics
zbMATH Keywords: normal forms
zbMATH Keywords: modal depth
MaRDI profile type: Publication
full work available at URL: j.jal.2010.08.010
OpenAlex ID: W2052267452
cites work: Expressive Power and Decidability for Memory Logics
cites work: Normal form transformations
cites work: Modal logic
cites work: Q3408862
cites work: Modal resolution in clausal form
cites work: Building decision procedures for modal logics from propositional decision procedures — The case study of modal K
cites work: SAT-based decision procedures for classical modal logics
cites work: Using the Universal Modality: Gains and Questions
cites work: The Computational Complexity of Provability in Systems of Modal Propositional Logic
cites work: Resolution calculi for modal logics
cites work: Q5483012
cites work: Computing small clause normal forms
cites work: Q4411160
cites work: Handbook of automated reasoning. In 2 vols
cites work: Interpolation for extended modal languages
cites work: Generalized quantifiers and modal logic
DOI: 10.1016/J.JAL.2010.08.010
description: scientific article; zbMATH DE number 5869143