Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"finite model property"”.
-
Guarded logics : algorithms and bisimulation
… Besides decidability, guarded logics inherit the finite model property, invariance under an appropriate variant of bisimulation, and other nice model theoretic properties including a decidable fixed-point extension. The goal of this this work is to gain greater insight into the correspondence …
-
The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL
… ring theory, were later shown to form algebraic models for substructural logics. The latter are non-classical logics that include intuitionistic, relevance, many-valued, and linear logic, among others. Most of the important examples of substructural logics are obtained by adding structural rules …
-
From game comonads to dynamical systems: property-preserving maps as a logical unifying principle
… are essential for achieving results such as the finite model property, completeness, and decidability. To a large extent, one must control all manners of structural relations in order to achieve all types of results. We contribute to each of these areas: We extend the use of coKleisli morphisms …