{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T15:53:47Z","timestamp":1767196427825,"version":"build-2238731810"},"reference-count":10,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":9689,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1987,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>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.<\/jats:p>","DOI":"10.2307\/2274361","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:22:39Z","timestamp":1146939759000},"page":"756-762","source":"Crossref","is-referenced-by-count":11,"title":["Modal sequents and definability"],"prefix":"10.1017","volume":"52","author":[{"given":"Bruce M.","family":"Kapron","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S002248120002973X_bib005","volume-title":"Notes on modal definability","author":"van Benthem","year":"1986"},{"key":"S002248120002973X_bib004","volume-title":"Modal logic and classical logic","author":"van Benthem","year":"1985"},{"key":"S002248120002973X_bib009","volume-title":"Classical propositional operators","author":"Segerberg","year":"1982"},{"key":"S002248120002973X_bib006","first-page":"41","article-title":"Metamathematics of modal logic. I, II","volume":"6","author":"Goldblatt","year":"1976","journal-title":"Reports on Mathematical Logic"},{"key":"S002248120002973X_bib010","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19750210114"},{"key":"S002248120002973X_bib001","volume-title":"Models and ultraproducts","author":"Bell","year":"1969"},{"key":"S002248120002973X_bib008","volume-title":"An introduction to modal logic","author":"Lemmon","year":"1977"},{"key":"S002248120002973X_bib003","unstructured":"van Benthem, J. , Modal correspondence theory, Ph.D. Thesis, University of Amsterdam, Amsterdam, 1976."},{"key":"S002248120002973X_bib007","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0062855"},{"key":"S002248120002973X_bib002","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120002973X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,22]],"date-time":"2023-03-22T06:38:40Z","timestamp":1679467120000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120002973X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,9]]},"references-count":10,"aliases":["10.1017\/s002248120002973x"],"journal-issue":{"issue":"3","published-print":{"date-parts":[[1987,9]]}},"alternative-id":["S002248120002973X"],"URL":"https:\/\/doi.org\/10.2307\/2274361","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,9]]}}}