Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

Título:

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

Autor:

Jorge Petrúcio Viana

Renata Pereira de Freitas

Ano:

2011

DOI:

10.1016/j.entcs.2011.03.008

Revista:

Electronic Notes in Theoretical Computer Science

ISSN:

15710661

Home:

[doi:10.1016/j.entcs.2011.03.008]

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

Decompositions by maxclique separators

On vague notions and modalities: a modular approach

On modularity and interpolation in general pi-institution

Introducing Polymodal Neighbourhood Logics

A calculus for graphs with complement

Resolução do exemplo clássico do Lema de Borel-Cantelli: o Problema do Macaco.

On vague notions and modalities: a modular approach

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations

On characterizations by nice forbidding sets