### Approximable concepts, Chu spaces, and information systems.

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

Back to Simple Search
# Advanced Search

The basic framework of domain -calculus was formulated in [39] more than ten years ago. This paper provides an improved formulation of a fragment of the -calculus without function space or powerdomain constructions, and studies some open problems related to this -calculus such as decidability and expressive power. A class of language equations is introduced for encoding -formulas in order to derive results related to decidability and expressive power of non-trivial fragments of the domain -calculus....

The basic framework of domain $\mu $-calculus was formulated in [39] more than ten years ago. This paper provides an improved formulation of a fragment of the $\mu $-calculus without function space or powerdomain constructions, and studies some open problems related to this $\mu $-calculus such as decidability and expressive power. A class of language equations is introduced for encoding $\mu $-formulas in order to derive results related to decidability and expressive power of non-trivial fragments of the domain $\mu $-calculus....

**Page 1**