On fork arrow logic and its expressive power
From MaRDI portal
Publication:2454871
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
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