On refutation rules
type: Item
instance of: scholarly article
title: On refutation rules
zbMATH Open document ID: 1264.03037
author: Tomasz Skura
published in: Logica Universalis
publication date: 2013-03-21T00:00:00Z
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6147857
zbMATH Keywords: refutation systems
zbMATH Keywords: axiomatization
zbMATH Keywords: refutation search
zbMATH Keywords: modal logic
MaRDI profile type: Publication
full work available at URL: s11787-011-0035-4
OpenAlex ID: W2070527560
cites work: Tableau methods for modal and temporal logics
cites work: Q5805951
cites work: Q5813911
cites work: Refutations, proofs, and models in the modal logic K4
cites work: A refutation theory
DOI: 10.1007/S11787-011-0035-4
description: scientific article; zbMATH DE number 6147857