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

05/21/2021
by   Yuichi Komorida, et al.
0

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 results for quantitative logics and behavioral metrics. Each of these quantitative expressivity results uses a tailor-made argument; distilling the essence of these arguments is non-trivial, yet important to support the design of expressive modal logics for new quantitative settings. In this paper, we present the first categorical framework for deriving quantitative expressivity results, based on the new notion of approximating family. A key ingredient is the codensity lifting – a uniform observation-centric construction of various bisimilarity-like notions such as bisimulation metrics. We show that several recent quantitative expressivity results (e.g. by König et al. and by Fijalkow et al.) are accommodated in our framework; a new expressivity result is derived, too, for what we call bisimulation uniformity.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/10/2018

A van Benthem Theorem for Quantitative Probabilistic Modal Logic

In probabilistic transition systems, behavioural metrics provide a more ...
research
11/11/2022

Categorical Semantics for Model Comparison Games for Description Logics

A categorical approach to study model comparison games in terms of comon...
research
03/29/2013

Symmetries in Modal Logics

We generalize the notion of symmetries of propositional formulas in conj...
research
02/03/2022

On expressive rule-based logics

We investigate a family of rule-based logics. The focus is on very expre...
research
09/17/2019

Axiomatizing logics of fuzzy preferences using graded modalities

The aim of this paper is to propose a many-valued modal framework to for...
research
07/12/2022

Hennessy-Milner Theorems via Galois Connections

We introduce a general and compositional, yet simple, framework that all...

Please sign up or login with your details

Forgot password? Click here to reset