On fork arrow logic and its expressive power

DOI10.1007/S10992-006-9043-XMaRDI QIDQ2454871zbMATH OpenOpenAlexFDO

Authors Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Sheila R. M. Veloso, Mario 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

first-order logicmodal logicrelation algebraprocessexpressive powerarrow 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)

Recommendations

• scientific article; zbMATH DE number 1047508
• scientific article; zbMATH DE number 1086629
• scientific article; zbMATH DE number 1047506
• scientific article; zbMATH DE number 1163392
• Squares in fork arrow logic

Cites work

• scientific article; zbMATH DE number 993777 (Why is no real title available?)
• scientific article; zbMATH DE number 3885853 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 1047502 (Why is no real title available?)
• scientific article; zbMATH DE number 1086629 (Why is no real title available?)
• scientific article; zbMATH DE number 1136646 (Why is no real title available?)
• scientific article; zbMATH DE number 753771 (Why is no real title available?)
• scientific article; zbMATH DE number 1361527 (Why is no real title available?)
• scientific article; zbMATH DE number 3070503 (Why is no real title available?)
• A completeness theorem in modal logic
• Algebraic semantics for modal logics I
• Algebraization of quantifier logics, an introductory overview
• Boolean Algebras with Operators. Part I
• Language in action. Categories, lambdas and dynamic logic
• Multi-dimensional modal logic
• Parallel constructions of maximal path sets and applications to short superstrings
• Power structures
• Squares in fork arrow logic
• Varieties of relation algebras

Cited in

(4)

• Propositional dynamic logic with storing, recovering and parallel composition
• Representability and program construction within fork algebras
• Logic for physical space. From antiquity to present day
• Squares in fork arrow logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2454871)