Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation

A modal logic that is strong enough to fully characterize the behavior of a system is called expressive. Recently, with the growing diversity of systems to be reasoned about (probabilistic, cyber-physical, etc.), the focus shifted to quantitative settings which resulted in a number of expressivity r...

Full description

Bibliographic Details

Published in:	Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 1 - 14
Main Authors:	Komorida, Yuichi, Katsumata, Shin-ya, Kupke, Clemens, Rot, Jurriaan, Hasuo, Ichiro
Format:	Conference Proceeding
Language:	English
Published:	IEEE 29.06.2021
Subjects:	Computer science Measurement Probabilistic logic
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!