Labelled calculi for quantified modal logics with definite descriptions
type: Item
instance of: scholarly article
title: Labelled calculi for quantified modal logics with definite descriptions
author: Eugenio Orlandelli
publication date: 2021-09-22T00:00:00Z
full work available at URL: https://arxiv.org/abs/2002.04855
Mathematics Subject Classification ID: 03-XX
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7398777
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3156988858
DOI: 10.1093/LOGCOM/EXAB018
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 7398777