Proof theory for quantified monotone modal logics
type: Item
instance of: scholarly article
title: Proof theory for quantified monotone modal logics
zbMATH Open document ID: 1477.03057
author: Sara Negri
author: Eugenio Orlandelli
published in: Logic Journal of the IGPL
publication date: 2021-12-03T00:00:00Z
full work available at URL: http://hdl.handle.net/10138/307488
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 7438987
zbMATH Keywords: non-normal modal logics
zbMATH Keywords: quantified modal logics
zbMATH Keywords: labelled sequent calculus
zbMATH Keywords: neighbourhood semantics
zbMATH Keywords: Barcan formulas
MaRDI profile type: Publication
OpenAlex ID: W2946543186
Wikidata QID: Q128041044
DOI: 10.1093/JIGPAL/JZZ015
description: scientific article; zbMATH DE number 7438987