On fork arrow logic and its expressive power
DOI10.1007/S10992-006-9043-XzbMATH Open1128.03011OpenAlexW1966415886MaRDI QIDQ2454871FDOQ2454871
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
Recommendations
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Cylindric and polyadic algebras; relation algebras (03G15)
Cites Work
- A completeness theorem in modal logic
- Algebraic semantics for modal logics I
- Boolean Algebras with Operators. Part I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Varieties of relation algebras
- Algebraization of quantifier logics, an introductory overview
- Power structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Squares in fork arrow logic
- Language in action. Categories, lambdas and dynamic logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Multi-dimensional modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Parallel constructions of maximal path sets and applications to short superstrings
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (4)
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)
