On the decidability of open logic
type: Item
instance of: scholarly article
title: On the decidability of open logic
zbMATH Open document ID: 1191.03006
author: Wei Zhang
published in: Science in China. Series F
publication date: 2010-03-03T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5676784
zbMATH Keywords: open logic
zbMATH Keywords: epistemic process
zbMATH Keywords: decidability
zbMATH Keywords: open proof
MaRDI profile type: Publication
full work available at URL: s11432-009-0138-1
OpenAlex ID: W2150502020
cites work: A logic for default reasoning
cites work: Q4501600
cites work: Q4943322
cites work: A programmable approach to revising knowledge bases
cites work: Q3686043
cites work: Q5679729
DOI: 10.1007/S11432-009-0138-1
Recommended article: Decidable subsets of open logic and an algorithm for R-calculus
Recommended article: The open logic and its relation to circumscription
Recommended article: Decidability and completeness for open formulas of membership theories
Recommended article: Decidability of some classes of modal logic
Recommended article: On the Decidability of Elementary Modal Logics
Recommended article: Decidable and enumerable predicate logics of provability
Recommended article: A general treatment for the deduction theorem in open calculi
Recommended article: Q3989922
Recommended article: Decidability of order-based modal logics
Recommended article: Decidability of logical theories and their combination
description: scientific article; zbMATH DE number 5676784