Arrow logic and infinite counting
From MaRDI portal
Publication:1582310
DOI10.1023/A:1005215730377zbMath0963.03032MaRDI QIDQ1582310
Publication date: 18 June 2001
Published in: Studia Logica (Search for Journal in Brave)
decidability; finite axiomatizability; arrow logic; finite base property; graded modality; weakly associative relation algebra
03B45: Modal logic (including the logic of norms)
03G15: Cylindric and polyadic algebras; relation algebras
Related Items