This paper deals with bisimulation quantifiers logic BQL, that is, the extension of propositional dynamic logic PDL with the so-called “bisimulation quantifiers”. This logic is expressively equivalent to the mu-calculus (an extension of modal logic with extremal fixpoints), albeit its formulas are easier to understand. In this work we provide a complete axiomatization of BQL, based on certain normal form results for the mu-calculus obtained by Janin andWalukiewicz.

An axiomatization of bisimulation quantifiers via the mu-calculus.

LENZI, Giacomo
2005-01-01

Abstract

This paper deals with bisimulation quantifiers logic BQL, that is, the extension of propositional dynamic logic PDL with the so-called “bisimulation quantifiers”. This logic is expressively equivalent to the mu-calculus (an extension of modal logic with extremal fixpoints), albeit its formulas are easier to understand. In this work we provide a complete axiomatization of BQL, based on certain normal form results for the mu-calculus obtained by Janin andWalukiewicz.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11386/1870448
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 10
social impact