Structuring theories on consequence
Lecture notes in Computer Science on Recent trends in data type specification
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Fork Algebras in Algebra, Logic and Computer Science
Fork Algebras in Algebra, Logic and Computer Science
Moving Between Logical Systems
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
On the Emergence of Properties in Component-Based Systems
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Interpretability of First-Order Dynamic Logic in a Relational Calculus
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Categories for Software Engineering
Categories for Software Engineering
A strategy for efficient verification of relational specifications, based on monotonicity analysis
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Complete calculi for structured specifications in fork algebra
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Hi-index | 0.00 |
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, several propositional monomodal logics, propositional and first-order dynamic logic, and propositional and first-order linear temporal logic in the theory of fork algebras. In this paper we formalize these interpretability results as institution representations from the institution of the corresponding logics to that of fork algebra. We also advocate for the institution of fork algebras as a sufficiently rich universal institution into which institutions meaningful in software development can be represented.