Arrow logic and infinite counting

DOI10.1023/A:1005215730377zbMath0963.03032OpenAlexW1592072016MaRDI QIDQ1582310

Ágnes Kurucz

Publication date: 18 June 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005215730377

zbMATH Keywords

decidabilityfinite axiomatizabilityarrow logicfinite base propertygraded modalityweakly associative relation algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Weakly associative relation algebras with projections

This page was built for publication: Arrow logic and infinite counting