{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T05:40:17Z","timestamp":1698385217904},"reference-count":8,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":3969,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1996,1]]},"abstract":"Abstract<\/jats:title>A polymodal lattice is a distributive lattice carrying an n<\/jats:italic>\u2010place operator preserving top elements and certain finite meets. After exploring some of the basic properties of such structures, we investigate their freely generated instances and apply the results to the corresponding logical systems \u2014 polymodal logics \u2014 which constitute natural generalizations of the usual systems of modal logic familiar from the literature. We conclude by formulating an extension of Kripke semantics to classical polymodal logic and proving soundness and completeness theorems.<\/jats:p>Mathematics Subject Classification: 03G10, 06D99, 03B45.<\/jats:p>","DOI":"10.1002\/malq.19960420119","type":"journal-article","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T17:50:08Z","timestamp":1180201808000},"page":"219-233","source":"Crossref","is-referenced-by-count":1,"title":["Polymodal Lattices and Polymodal Logic"],"prefix":"10.1002","volume":"42","author":[{"given":"John L.","family":"Bell","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Introduction to Lattices and Order","author":"Davey B. A.","year":"1990"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90032-8"},{"key":"e_1_2_1_4_2","volume-title":"Universal Algebra","author":"Gr\u00e4tzer G.","year":"1968"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.2307\/2372123"},{"key":"e_1_2_1_6_2","series-title":"Amer. Phil. Soc. Monographs Series, No. 11","volume-title":"An Introduction to Modal Logic","author":"Lemmon E. J.","year":"1977"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.2307\/1969080"},{"key":"e_1_2_1_8_2","volume-title":"The Mathematics of Metamathematics","author":"Rasiowa H.","year":"1963"},{"key":"e_1_2_1_9_2","volume-title":"Boolean Algebras","author":"Sikorski R.","year":"1960"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19960420119","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19960420119","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T22:10:43Z","timestamp":1698358243000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19960420119"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["10.1002\/malq.19960420119"],"URL":"https:\/\/doi.org\/10.1002\/malq.19960420119","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}