Squares in fork arrow logic
type: Item
instance of: scholarly article
title: Squares in fork arrow logic
zbMATH Open document ID: 1030.03018
DOI: 10.1023/A:1024847106313
author: Renata P. de Freitas
author: Jorge P. Viana
author: Mario Benevides
author: Sheila R. M. Veloso
author: Paulo A. S. Veloso
published in: Journal of Philosophical Logic
publication date: 2003-08-28T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G15
zbMATH DE Number: 1972195
zbMATH Keywords: arrow logic
zbMATH Keywords: fork algebra
zbMATH Keywords: modal logic
zbMATH Keywords: relation algebras
MaRDI profile type: Publication
cites work: Power structures
cites work: Q4381704
cites work: Q4851408
cites work: A Finite Axiomatization for Fork Algebras
cites work: Q4343990
cites work: Q4362877
cites work: Boolean Algebras with Operators. Part I
cites work: A completeness theorem in modal logic
cites work: Algebraic semantics for modal logics I
cites work: Parallel constructions of maximal path sets and applications to short superstrings
cites work: Q3126000
cites work: Multi-dimensional modal logic
cites work: Nonfinitizability of classes of representable cylindric algebras
cites work: Algebraization of quantifier logics, an introductory overview
cites work: Q4081211
cites work: A new proof of Sahlqvist's theorem on modal definability and completeness
cites work: Q4040000
cites work: Q4342096
cites work: Q4461800
cites work: A Modal Logic for Chopping Intervals
cites work: A note on the tense logic of dominoes
cites work: Q4349279
description: scientific article; zbMATH DE number 1972195