TY - JOUR
AU - S Celani, R Jansana
AB - In (12) the study of Positive Modal Logic (PML) is initiated using standard Kripke semantics and the positive modal algebras (a class of bounded distributive lattices with modal operators) are introduced. The minimum system of Positive Modal Logic is the (∧, ∨, □, ♦, ⊥, (top ))-fragment of the local consequence relation defined by the class of all Kripke models. It can be axiomatized by a sequent calculus and extensions of it can be obtained by adding sequents as new axioms. In (6) a new semantics for PML is proposed to overcome some frame incompleteness problems discussed in (12). The frames of this semantics consists of a set of indexes, a quasi-order on them and an accessibility relation. The models are obtained by using increasing valuations relatively to the quasi-order of the frame. This semantics is coherent with the dual structures obtained by developing the Priestley duality for positive modal algebras, one of the topics or the present paper, and can be seen also as arising from the Kripke semantics for a suitable intuitionistic modal logic. The present paper is devoted to the study of the mentioned duality as well as to proving some d-persistency results as well as a Sahlqist Theorem for sequents and the semantics proposed in (6). Also a Goldblatt-Thomason theorem that characterizes the elementary classes of frames of that semantics that are definable by sets of sequents is proved. Key words : positive modal logic, distributive lattices with operators, duality theory, correspondence theory, d-persistency. Copyright 1999 « Previous | Next Article » Table of Contents This Article Logic Jnl IGPL (1999) 7 (6): 683-715. doi: 10.1093/jigpal/7.6.683 » Abstract Free Full Text (PDF) Classifications Article Services Article metrics Alert me when cited Alert me if corrected Find similar articles Similar articles in Web of Science Add to my archive Download citation Request Permissions Citing Articles Load citing article information Citing articles via CrossRef Citing articles via Scopus Citing articles via Web of Science Citing articles via Google Scholar Google Scholar Articles by Celani, S. Articles by Jansana, R. Search for related content Related Content Load related web page information Share Email this article CiteULike Delicious Facebook Google+ Mendeley Twitter What's this? Search this journal: Advanced » Current Issue October 2015 23 (5) Alert me to new issues The Journal About this journal Rights & Permissions Dispatch date of the next issue We are mobile – find out more Journals Career Network Impact factor: 0.461 5-Yr impact factor: 0.490 Editor-in-Chief Dov Gabbay, UK View full editorial board Logic Journal of the IGPL is published under licence from Professor Dov Gabbay as owner of the journal. For Authors Self-archiving policy Instructions to Authors Alerting Services Email table of contents Email Advance Access CiteTrack XML RSS feed PDA Access Corporate Services Advertising sales Reprints Supplements var taxonomies = ("SCI01760"); Most Most Read A cut-free Gentzen formulation of the modal logic S5 The Functional Interpretation of the Existential Quantifier A general framework for product representations: bilattices and beyond Reduction of provability logics to {Sigma}1-provability logics Theory of disjunctive attacks, Part I » View all Most Read articles Most Cited Independent Bases of Admissible Rules First order abduction via tableau and sequent calculi Compositional semantics for a language of imperfect information A Formal Logic for Abductive Reasoning Substructural logics on display » View all Most Cited articles Disclaimer: Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department. Online ISSN 1368-9894 - Print ISSN 1367-0751 Copyright © 2015 Dov Gabbay Oxford Journals Oxford University Press Site Map Privacy Policy Cookie Policy Legal Notices Frequently Asked Questions Other Oxford University Press sites: Oxford University Press Oxford Journals China Oxford Journals Japan Academic & Professional books Children's & Schools Books Dictionaries & Reference Dictionary of National Biography Digital Reference English Language Teaching Higher Education Textbooks International Education Unit Law Medicine Music Online Products & Publishing Oxford Bibliographies Online Oxford Dictionaries Online Oxford English Dictionary Oxford Language Dictionaries Online Oxford Scholarship Online Reference Rights and Permissions Resources for Retailers & Wholesalers Resources for the Healthcare Industry Very Short Introductions World's Classics function fnc_onDomLoaded() { var query_context = getQueryContext(); PF_initOIUnderbar(query_context,":QS:default","","JRN"); PF_insertOIUnderbar(0); }; if (window.addEventListener) { window.addEventListener('load', fnc_onDomLoaded, false); } else if (window.attachEvent) { window.attachEvent('onload', fnc_onDomLoaded); } var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www."); document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E")); try { var pageTracker = _gat._getTracker("UA-189672-16"); pageTracker._setDomainName(".oxfordjournals.org"); pageTracker._trackPageview(); } catch(err) {}
TI - Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
JO - Logic Journal of the IGPL
DO - 10.1093/jigpal/7.6.683
DA - 1999-11-01
UR - https://www.deepdyve.com/lp/oxford-university-press/priestley-duality-a-sahlqvist-theorem-and-a-goldblatt-thomason-theorem-RaMZDaQP4B
SP - 683
VL - 7
IS - 6
DP - DeepDyve
ER -