Countermodel construction via optimal hypersequent calculi for non-normal modal logics
type: Item
instance of: scholarly article
title: Countermodel construction via optimal hypersequent calculi for non-normal modal logics
zbMATH Open document ID: 1485.03048
DOI: 10.1007/978-3-030-36755-8_3
author: Tiziano Dalmonte
author: Björn Lellmann
author: N. Olivetti
author: Elaine Pimentel
publication date: 2020-05-06T00:00:00Z
full work available at URL: DLOP LFCS2020.pdf
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 7197404
zbMATH Keywords: hypersequents
zbMATH Keywords: non-normal modal logics
zbMATH Keywords: countermodel construction
zbMATH Keywords: cut elimination
MaRDI profile type: Publication
OpenAlex ID: W2995679193
Recommended article: Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
Recommended article: Countermodels from Sequent Calculi in Multi-Modal Logics
Recommended article: Terminating calculi and countermodels for constructive modal logics
Recommended article: Q4395551
Recommended article: Combining monotone and normal modal logic in nested sequents -- with countermodels
Recommended article: Sequent Calculi for Normal Modal Propositional Logics
Recommended article: Intuitionistic non-normal modal logics: a general framework
Recommended article: Modularisation of Sequent Calculi for Normal and Non-normal Modalities
Recommended article: A nonmonotonic modal relevant sequent calculus
Recommended article: Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
description: scientific article