Squares in fork arrow logic

DOI10.1023/A:1024847106313zbMath1030.03018MaRDI QIDQ1402582

Mario R. F. Benevides, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge P. Viana, Renata P. de Freitas

Publication date: 28 August 2003

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

modal logicrelation algebrasarrow logicfork algebra

Mathematics Subject Classification ID

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

Related Items (3)

Squares in fork arrow logic ⋮ On fork arrow logic and its expressive power ⋮ Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on the tense logic of dominoes
• Algebraization of quantifier logics, an introductory overview
• Parallel constructions of maximal path sets and applications to short superstrings
• Multi-dimensional modal logic
• Squares in fork arrow logic
• Power structures
• A completeness theorem in modal logic
• A Modal Logic for Chopping Intervals
• A Finite Axiomatization for Fork Algebras
• A new proof of Sahlqvist's theorem on modal definability and completeness
• Algebraic semantics for modal logics I
• Nonfinitizability of classes of representable cylindric algebras
• Boolean Algebras with Operators. Part I

This page was built for publication: Squares in fork arrow logic