Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Introduction to higher order categorical logic
Introduction to higher order categorical logic
Quasi-varieties in abstract algebraic institutions
Journal of Computer and System Sciences
Bits and pieces of the theory of institutions
Proceedings of a tutorial and workshop on Category theory and computer programming
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Handbook of logic in computer science (vol. 2)
Logical support for modularisation
Papers presented at the second annual Workshop on Logical environments
Towards an algebraic semantics for the object paradigm
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
Modal logic
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Higher-Order Logic and Theorem Proving for Structured Specifications
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Institution-independent ultraproducts
Fundamenta Informaticae
Elementary Diagrams in Institutions
Journal of Logic and Computation
Proof Systems for Institutional Logic
Journal of Logic and Computation
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Hi-index | 5.23 |
We develop possible worlds (Kripke) semantics at the categorical abstract model theoretic level provided by the so-called 'institutions'. Our general abstract modal logic framework provides a method for systematic Kripke semantics extensions of logical systems from computing science and logic. We also extend the institution-independent method of ultraproducts of [R. Diaconescu, Institution-independent ultraproducts, Fundamenta Informaticae 55 (3-4) (2003) 321-348] to possible worlds semantics and prove a fundamental preservation result for abstract modal satisfaction. As a consequence we develop a generic compactness result for possible worlds semantics.