Hybrid logics with Sahlqvist axioms

Título:

Hybrid logics with Sahlqvist axioms

Autor:

Jorge Petrúcio Viana

Ano:

2005

DOI:

10.1093/jigpal/jzi024

Revista:

Logic Journal of the IGPL

ISSN:

13670751

Tags:

Sahlqvist Theory

Home:

[http://jigpal.oxfordjournals.org/content/vol13/issue3/index.dtl#original_articles][doi:10.1093/jigpal/jzi024]

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

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition