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

Ano:

2011

Revista:

Electronic Notes in Theoretical Computer Science

ISSN:

15710661

Tags:

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

On the (In)Dependence of the Peano Axioms for Natural Numbers

On admissible orders over closed subintervals of [0,1]

Set Venn Diagrams Applied to Inclusions and Non-inclusions

Decomposition by maxclique separators

On distributed stochastic logics for mobile systems

The second Venn diagrammatic system

A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations

On characterizations by nice forbidding sets

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

A calculus for graphs with complement