Work

Characteristic Formulae for Relations with Nested Fixed Points

Year: 2012

Type: article

Abstract: A general framework for the connection between characteristic formulae and behavioral semantics is described in [2]. This approach does not suitably cover semantics defined by nested fixed points, such as the n-nested simulation semantics for n greater than 2. In this study we address this deficiency and give a description of nested fixed points that extends the approach for single fixed points in an intuitive and comprehensive way.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.77.3

Authors: Luca Aceto, Anna Ingólfsdóttir

Institution: Reykjavík University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funder: Villum Fonden

OpenAlex ID: W2164818384

FWCI:

Cites: 9

Cited by:

Related to: