Computing with cylindric modal logics and arrow logics, lower bounds

DOI10.1023/A:1021360511488zbMath1010.03013OpenAlexW1565204060MaRDI QIDQ1863830

Maarten Marx

Publication date: 12 March 2003

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

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

zbMATH Keywords

complexitymodal logicdecidabilityrelation algebrafinite model propertyguarded fragmentcylindric algebrasfirst order logicarrow logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Atoms in infinite dimensional free sequence-set algebras

This page was built for publication: Computing with cylindric modal logics and arrow logics, lower bounds