# Fingerprint Dive into the research topics where Clemens Kupke is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

- Sort by
- Weight
- Alphabetically

### Mathematics

Logic

Modal Logic

Fixpoint

Game

μ-calculus

Automata

Automata Theory

Coalgebra

Functor

Parity

Tableaux

Completeness

Model Theory

Modality

Reasoning

Probabilistic Logic

Cover

Coalitions

Specification

Differential equation

Tableau

Bisimulation

Pullback

Boolean algebra

Classical Logic

Computer Science

Operator

Model

Monotone

Equivalence

Stone Space

Economics

Infinite Games

Decidability

Upper bound

Compositionality

Simple Game

Caching

Calculus

Game Theory

### Engineering & Materials Science

Semantics

Computability and decidability

Game theory

Automata theory

Boolean algebra

Ontology

Differential equations

Probability distributions

Learning algorithms

Computer science

Acoustic waves

Concretes

Specifications

Algebra

Finite automata

Syntactics

Economics

Polynomials

Atoms

Chemical analysis

Diamonds