Incompleteness Results in Kripke Semantics

Ghilardi, Silvio

J. Symbolic Logic, Tome 56 (1991) no. 1, p. 517-538 / Harvested from Project Euclid

Résumé

By means of models in toposes of $\mathbf{C}$-sets (where $\mathbf{C}$ is a small category), necessary conditions are found for the minimum quantified extension of a propositional (intermediate, modal) logic to be complete with respect to Kripke semantics; in particular, many well-known systems turn out to be incomplete.

Publié le : 1991-06-14
Classification:

@article{1183743654,
     author = {Ghilardi, Silvio},
     title = {Incompleteness Results in Kripke Semantics},
     journal = {J. Symbolic Logic},
     volume = {56},
     number = {1},
     year = {1991},
     pages = { 517-538},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743654}
}

Ghilardi, Silvio. Incompleteness Results in Kripke Semantics. J. Symbolic Logic, Tome 56 (1991) no. 1, pp.  517-538. http://gdmltest.u-ga.fr/item/1183743654/