Alternative translation techniques for propositional and first-order modal logics
type: Item
instance of: scholarly article
title: Alternative translation techniques for propositional and first-order modal logics
zbMATH Open document ID: 1003.03018
DOI: 10.1023/A:1015849504706
author: Angelo Montanari
author: Alberto Policriti
author: Matteo Slanina
published in: Journal of Automated Reasoning
publication date: 2002-08-20T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 1784337
zbMATH Keywords: validity problems
zbMATH Keywords: first-order languages
zbMATH Keywords: propositional modal logics
zbMATH Keywords: automatic translation
zbMATH Keywords: weak set theory
zbMATH Keywords: first-order modal logics
MaRDI profile type: Publication
full work available at URL: a:1015849504706
OpenAlex ID: W1573293947
description: scientific article; zbMATH DE number 1784337