이 논문은 Eilenberg-Moore 코대수에 대한 등급 의미론과 등급 논리를 다룹니다.
주요 내용은 다음과 같습니다:
Eilenberg-Moore 코대수에 대한 등급 의미론을 정의합니다. 이는 Eilenberg-Moore 분포 법칙을 이용하여 상태 기반 시스템의 행동 의미론을 포착합니다.
등급 의미론에 대한 표현력 있는 등급 논리를 구축합니다. 이 논리는 표준 분기 시간 코대수 논리의 한 조각으로 볼 수 있습니다.
등급 의미론과 등급 논리의 관계를 분석합니다. 특히 등급 논리가 등급 의미론에 대해 불변적이고 표현력 있음을 보입니다.
다양한 예제를 통해 이론을 구체화하고, 새로운 특성 논리를 도출합니다. 예를 들어 확률적 추적 동등성에 대한 특성 논리를 제시합니다.
전반적으로 이 논문은 Eilenberg-Moore 코대수에 대한 논리적 분석을 심화시키고, 등급 의미론과 등급 논리의 관계를 체계적으로 탐구합니다.
In eine andere Sprache
aus dem Quellinhalt
arxiv.org
Tiefere Fragen