Modality in open Institutions with Concrete Syntax

Από το τεύχος 49 του περιοδικού Δελτίο της Ελληνικής Μαθηματικής Εταιρίας

The theory of institutions provides an abstract model theory for computation. We internalize ?possible worlds semantics ? and modal satisfaction to institutions with open formulae (open institutions) and fulfilling certain mild technical conditions. Modalities then, can be defined on ? top ? of any such institution proving that modal extensions are not a privilege of certain logics ? like the first order one ? but can be generated over a much wider variety of institutions

Σελ. 1

Σελ. 2

Σελ. 3

Σελ. 4

Σελ. 5

Σελ. 6

Σελ. 7

Σελ. 8

Σελ. 9

Σελ. 10

Σελ. 11