Axiom Pinpointing in General Tableaux
type: Item
instance of: scholarly article
title: Axiom Pinpointing in General Tableaux
zbMATH Open document ID: 1191.68645
author: Franz Baader
author: Rafael Peñaloza
publication date: 2010-02-19T00:00:00Z
full work available at URL: http://hdl.handle.net/10281/258029
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 5673414
zbMATH Keywords: explanation
zbMATH Keywords: tableau methods
zbMATH Keywords: automated reasoning
zbMATH Keywords: pinpointing
Wikidata QID: Q57383694
MaRDI profile type: Publication
OpenAlex ID: W2140061645
DOI: 10.1093/LOGCOM/EXN058
published in: Journal Of Logic And Computation
Recommended article: Axiom Pinpointing in General Tableaux
Recommended article: Q4636309
Recommended article: Automata-based axiom pinpointing
Recommended article: Automata-Based Axiom Pinpointing
Recommended article: Axiomatizing schemes and their behaviors
Recommended article: A tableau proof system for a mazurkiewicz trace logic with fixpoints
Recommended article: Q4304462
Recommended article: Consequence-based axiom pinpointing
Recommended article: Table-analytical axiomatizations of expansions of logic Par
Recommended article: AXIOMATIZATION OF PROVABLE n-PROVABILITY
description: scientific article