On fork arrow logic and its expressive power

DOI10.1007/s10992-006-9043-xzbMath1128.03011OpenAlexW1966415886MaRDI QIDQ2454871

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

Publication date: 22 October 2007

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

Full work available at URL: https://doi.org/10.1007/s10992-006-9043-x

zbMATH Keywords

modal logicfirst-order logicrelation algebraexpressive powerprocessarrow logicfork algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (2)

Logic for physical space. From antiquity to present day ⋮ Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

Cites Work

• Varieties of relation algebras
• Language in action. Categories, lambdas and dynamic logic
• 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
• Algebraic semantics for modal logics I
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On fork arrow logic and its expressive power