# Squares in Fork Arrow Logic

@article{Freitas2003SquaresIF, title={Squares in Fork Arrow Logic}, author={Renata P. de Freitas and Petrucio Viana and M. Benevides and Sheila R. M. Veloso and Paulo A. S. Veloso}, journal={Journal of Philosophical Logic}, year={2003}, volume={32}, pages={343-355} }

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational axiomatization. A proper FA is…

## 4 Citations

### On Fork Arrow Logic and its Expressive Power

- PhilosophyJ. Philos. Log.
- 2007

Fork arrow logic attains the expressive power of its first-order correspondence language, so both can express the same input–output behavior of processes.

### Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

- Computer ScienceLSFA
- 2010

### An Application of Logic Engineering

- Computer ScienceLog. J. IGPL
- 2005

The paradigm of applications of Logic Engineering is applied to the area of distributed systems, taking the demand for specification formalisms, treated in three areas of knowledge: modal logics, first-order logic and algebra, to obtain transfer of intuitions and results.

### Fork Algebras: Past, Present and Future

- Mathematics
- 2004

Fork algebras have interesting connections with Computing, Algebra and Logic. This paper presents a survey of ideas and results about fork algebras, with special emphasis on current developments and…

## References

SHOWING 1-10 OF 34 REFERENCES

### A crash course in arrow logic

- Computer Science
- 1994

This contribution gives a short introduction to arrow logic, explaining the basic idea underlying arrow logic and the motivation for studying it and describing some closely related formalisms and some extensions and reducts of arrow logic.

### Completeness and Correspondence in the First and Second Order Semantics for Modal Logic

- Philosophy
- 1975

### A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness

- Computer Science, MathematicsJ. Symb. Log.
- 1989

There are not many global results on modal logics. One of these is the following theorem by Sahlqvist on completeness and correspondence for a wide class of modal formulae (including many well known…

### Algebraic semantics for modal logics I

- PhilosophyJournal of Symbolic Logic
- 1966

Modal logic received its modern impetus from the work of Lewis and Langford [10]. In recent years, however, their axiomatic approach, aided by somewhat ad hoc matrices for distinguishing different…

### Algebraic semantics for modal logics II

- PhilosophyJournal of Symbolic Logic
- 1966

This paper is a sequel to [7], and the terminology of [7] is largely presupposed here. In [7], the algebraic methods of McKinsey-Tarski were employed and extended to yield semantic results of a…

### A completeness theorem in modal logic

- MathematicsJournal of Symbolic Logic
- 1959

The present paper attempts to state and prove a completeness theorem for the system S5 of [1], supplemented by first-order quantifiers and the sign of equality. We assume that we possess a…

### Algebraization of quantifier logics, an introductory overview

- MathematicsStud Logica
- 1991

The most frequently used algebras like cylindric-, relation-, polyadic-, and quasi-polyadic algeBRas are carefully introduced and intuitively explained for the nonspecialist.

### A Finite Axiomatization for Fork Algebras

- MathematicsLog. J. IGPL
- 1997

A representation theorem is presented that entails that proper fork algebras — whose underlying set is closed under an injective function — constitute a finitely based variety.