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

On Graph Reasoning

Hybrid logics with Sahlqvist axioms

A note on proofs with graphs

Decompositions by maxclique separators

Introducing Polymodal Neighbourhood Logics

On Positive Relational Calculi

On vague notions and modalities: a modular approach

A calculus for graphs with complement

On distributed stochastic logics for mobile systems

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition