Modal Sequents and Definability

Kapron, Bruce M.

J. Symbolic Logic, Tome 52 (1987) no. 1, p. 756-762 / Harvested from Project Euclid

Résumé

The language of propositional modal logic is extended by the introduction of sequents. Validity of a modal sequent on a frame is defined, and modal sequent-axiomatic classes of frames are introduced. Through the use of modal algebras and general frames, a study of the properties of such classes is begun.

Publié le : 1987-09-14
Classification:

@article{1183742440,
     author = {Kapron, Bruce M.},
     title = {Modal Sequents and Definability},
     journal = {J. Symbolic Logic},
     volume = {52},
     number = {1},
     year = {1987},
     pages = { 756-762},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742440}
}

Kapron, Bruce M. Modal Sequents and Definability. J. Symbolic Logic, Tome 52 (1987) no. 1, pp.  756-762. http://gdmltest.u-ga.fr/item/1183742440/