Keyphrases
Inclusion Logic
100%
Modal
77%
Team Semantics
55%
Henkin
50%
Μ-calculus
50%
μ-calculus
50%
Expressive Power
50%
Optimal Strategy
44%
Pebble Games
38%
First-order
36%
Predicate Logic
33%
IF Logic
33%
Descriptional Complexity
33%
Family of Sets
33%
Independence-friendly Logic
33%
Formula Size Game
33%
Ternary Logic
33%
Truth Value
33%
Completeness Proofs
33%
Modal Logic
33%
Logarithmic Size
33%
Word Representation
33%
Distributed Computing
33%
Game-theoretic Semantics
33%
Polymorphism
33%
Prefix
33%
Template Structure
33%
Hanf number
33%
Modal μ-calculus
33%
Quantifier Rank
33%
Logic on Words
33%
Skolem
33%
Rational Powers
33%
Classes of Structures
27%
Calculus
27%
Upper Dimension
25%
Growth Class
25%
Constraint Satisfaction Problem
22%
Infinitary Logic
22%
Closure Conditions
22%
Two-player Games
22%
Partial Functions
16%
EXPTIME-complete
16%
Infinite Models
16%
Message Passing
16%
Positive Integer
16%
Complete Proof System
16%
Function Symbols
16%
Equation Solving
16%
Coloring Algorithm
16%
Computer Science
Expressive Power
83%
Optimal Strategy
66%
Model Checking
66%
Message Passing
66%
Distributed Computing
66%
Logarithmic Space
33%
Polynomial Time
33%
Restrict Attention
33%
Syntactics
33%
Satisfiability Problem
33%
Bisimulation Invariant
33%
Modal Operator
33%
Positive Integer
33%
Computational Complexity
33%
Machine Learning
33%
Distributed Algorithm
33%
Computation Time
33%
Computational Problem
16%
Model Checking Problem
16%
query answering
16%
Complexity Class
16%
Model Transformation
16%
Transition System
16%
time-delay
16%
Boolean Circuit
16%
Separating Structure
11%
Mathematics
μ-calculus
66%
Upper Bound
66%
Cumulative Hierarchy
66%
Rational Power
66%
Truth Value
33%
Positive Integer
33%
Completeness Proof
33%
Optimal Strategy
33%
Minimal Set
33%
Expressive Power
33%
Closure Property
33%
Fixed Set
33%
Calculus
33%
Systems of Linear Equation
33%
Definability
33%
Lower and upper bounds
33%
Recursive Algorithm
16%
Partial Function
16%
Maximal Set
16%
Minimal Number
16%
