Barcan Both Ways
type: Item
instance of: scholarly article
title: Barcan Both Ways
zbMATH Open document ID: 0993.03016
DOI: 10.1080/11663081.1999.10510970
author: Melvin Fitting
published in: Journal of Applied Non-Classical Logics
publication date: 2002-05-22T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 1744200
zbMATH Keywords: modal logic
zbMATH Keywords: converse Barcan formula
zbMATH Keywords: equality
zbMATH Keywords: Barcan formula
zbMATH Keywords: domains
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1080/11663081.1999.10510970
OpenAlex ID: W2028772336
cites work: A Functional calculus of first order based on strict implication
cites work: Q4935259
cites work: Tableau methods of proof for modal logics
cites work: Proof methods for modal and intuitionistic logics
cites work: Tableau methods for modal and temporal logics
cites work: Q4698331
Recommended article: Q3222163
Recommended article: Q4314073
Recommended article: Q4854864
Recommended article: Quantification in some non-normal modal logics
Recommended article: Bare possibilia
description: scientific article; zbMATH DE number 1744200