Tableaus for many-valued modal logic
type: Item
instance of: scholarly article
title: Tableaus for many-valued modal logic
zbMATH Open document ID: 0837.03017
DOI: 10.1007/BF01053032
author: Melvin Fitting
published in: Studia Logica
publication date: 1995-09-11T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 795266
zbMATH Keywords: Kripke semantics
zbMATH Keywords: many-valued accessibility relations
zbMATH Keywords: cut-free tableau
MaRDI profile type: Publication
cites work: A uniform tableau method for intuitionistic modal logics. I
cites work: Proof methods for modal and intuitionistic logics
cites work: Destructive Modal Resolution
cites work: Q3996619
cites work: Q3989936
cites work: Q4022223
cites work: Q2757807
cites work: Some modal logics based on a three-valued logic
cites work: Many-Valued Modal Propositional Calculi
cites work: Many-valued modal logics: Uses and predicate calculus
cites work: Q5650663
cites work: Some Modal Logics based on a Three‐valued Logic
cites work: Q3720564
cites work: Q5560258
cites work: Possible worlds and many truth values
full work available at URL: https://doi.org/10.1007/bf01053032
OpenAlex ID: W2064387576
description: scientific article; zbMATH DE number 795266