Characteristic formulae for relations with nested fixed points

MaRDI QIDQ5854734zbMATH OpenFDO

Authors Luca Aceto, Anna Ingolfsdottir

Publication date 17 March 2021

Full work available at URL https://arxiv.org/abs/1202.3497, http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2012.3

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55)

Recommendations

• Characteristic formulae for fixed-point semantics: a general framework
• Characteristic formulae for fixed-point semantics: a general framework
• A coalgebraic view of characteristic formulas in equational modal fixed point logics
• Nested semantics over finite trees are equationally hard
• A general framework for probabilistic characterizing formulae

Cited in

(3)

• Characteristic formulae for fixed-point semantics: a general framework
• Normal Forms for Characteristic Functions on n-ary Relations
• Characteristic formulae for fixed-point semantics: a general framework

This page was built for publication: Characteristic formulae for relations with nested fixed points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5854734)