Portal de Periódicos da CAPES

Full Models for Positive Modal Logic

2002; Wiley; Volume: 48; Issue: 3 Linguagem: Inglês

10.1002/1521-3870(200204)48

1521-3870

Ramón Jansana,

Semantic Web and Ontologies

Mathematical Logic QuarterlyVolume 48, Issue 3 p. 427-445 Original Paper Full Models for Positive Modal Logic Ramon Jansana, Ramon Jansana jansana@mat.ub.es Departamento de Lògica, Història i Filosofia de la Ciència, Universitat de Barcelona, Baldiri i Reixach s/n, 08028 Barcelona, SpainSearch for more papers by this author Ramon Jansana, Ramon Jansana jansana@mat.ub.es Departamento de Lògica, Història i Filosofia de la Ciència, Universitat de Barcelona, Baldiri i Reixach s/n, 08028 Barcelona, SpainSearch for more papers by this author First published: 01 March 2002 https://doi.org/10.1002/1521-3870(200204)48:3 3.0.CO;2-TCitations: 9AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Share a linkShare onFacebookTwitterLinkedInRedditWechat Abstract The positive fragment of the local modal consequence relation defined by the class of all Kripke frames is studied in the context of Abstract Algebraic Logic. It is shown that this fragment is non-protoalgebraic and that its class of canonically associated algebras according to the criteria set up in [7] is the class of positive modal algebras. Moreover its full models are characterized as the models of the Gentzen calculus introduced in [3]. Citing Literature Volume48, Issue3April 2002Pages 427-445 RelatedInformation