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 admissible orders over closed subintervals of [0,1]

On characterizations by nice forbidding sets

On vague notions and modalities: a modular approach

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

A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations

Schematic systems

What is classical propositional logic?

Squares in Fork Arrow Logic

On Positive Relational Calculi

The second Venn diagrammatic system