{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:19Z","timestamp":1761611179683},"reference-count":36,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":6585,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1996,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as \u2018at some branch, or history (passing through the moment at hand)\u2019. Both the bundled-trees semantics [Burgess 79] and the \u3008moment, history\u3009 semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (3-modal) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames.<\/jats:p>","DOI":"10.2307\/2275595","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:57:36Z","timestamp":1146956256000},"page":"1-39","source":"Crossref","is-referenced-by-count":54,"title":["Branching-time logic with quantification over branches: The point of view of modal logic"],"prefix":"10.1017","volume":"61","author":[{"given":"Alberto","family":"Zanardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200017618_ref028","volume-title":"Handbook of Logic in Computer Science","author":"Stirling","year":"1991"},{"key":"S0022481200017618_ref035","doi-asserted-by":"publisher","DOI":"10.1007\/BF00284972"},{"key":"S0022481200017618_ref022","doi-asserted-by":"publisher","DOI":"10.1007\/BF01054036"},{"key":"S0022481200017618_ref019","first-page":"668","volume":"50","author":"Gurevich","year":"1985","journal-title":"The decision problem for branching time logic"},{"key":"S0022481200017618_ref008","doi-asserted-by":"crossref","first-page":"285","DOI":"10.3233\/FI-1992-17402","article-title":"Logic as programming","volume":"17","author":"van Benthem","year":"1994","journal-title":"Fundamenta Informaticae"},{"key":"S0022481200017618_ref036","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/3.3.249"},{"key":"S0022481200017618_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-9868-7"},{"key":"S0022481200017618_ref007","volume-title":"Handbook of logic in artificial intelligence and logic programming Vol. III","author":"van Benthem","year":"1992"},{"key":"S0022481200017618_ref027","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1970.tb00429.x"},{"key":"S0022481200017618_ref015","first-page":"265","volume-title":"Proceedings of the First International Conference on Temporal Logic","author":"Maio","year":"1994"},{"key":"S0022481200017618_ref020","unstructured":"Kamp J. , Tense logic and the theory of linear order, Ph.D. dissertation , University of California at Los Angeles, 1968."},{"key":"S0022481200017618_ref002","doi-asserted-by":"publisher","DOI":"10.1007\/BF00414289"},{"key":"S0022481200017618_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"S0022481200017618_ref009","first-page":"556","volume":"44","author":"Burgess","year":"1979","journal-title":"Logic and time"},{"key":"S0022481200017618_ref011","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870149"},{"key":"S0022481200017618_ref001","volume-title":"A course in mathematical logic","author":"Bell","year":"1977"},{"key":"S0022481200017618_ref032","doi-asserted-by":"publisher","DOI":"10.1007\/BF00649485"},{"key":"S0022481200017618_ref023","first-page":"81","volume":"15","author":"Henkin","year":"1950","journal-title":"Completeness in the theory of types"},{"key":"S0022481200017618_ref024","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"S0022481200017618_ref029","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-6259-0_3"},{"key":"S0022481200017618_ref034","doi-asserted-by":"publisher","DOI":"10.1007\/BF00935598"},{"key":"S0022481200017618_ref003","first-page":"365","volume-title":"Philosophical Perspectives, Vol. 8: Logic and Language","author":"Belnap","year":"1994"},{"key":"S0022481200017618_ref018","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013976"},{"key":"S0022481200017618_ref031","doi-asserted-by":"publisher","DOI":"10.1007\/BF00247911"},{"key":"S0022481200017618_ref004","first-page":"175","volume-title":"Knowledge representation and defeasible reasonings","author":"Belnap","year":"1990"},{"key":"S0022481200017618_ref033","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093636769"},{"key":"S0022481200017618_ref025","first-page":"110","volume-title":"Proceedings of the third Scandinavian logic symposium","author":"Sahlqvist"},{"key":"S0022481200017618_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8384-7_3"},{"key":"S0022481200017618_ref016","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90082-8"},{"key":"S0022481200017618_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370320"},{"key":"S0022481200017618_ref026","first-page":"992","volume":"54","author":"Sambin","year":"1989","journal-title":"A new proof of Sahlqvist's theorem on modal definability and completeness"},{"key":"S0022481200017618_ref013","doi-asserted-by":"publisher","DOI":"10.1007\/BF01028972"},{"key":"S0022481200017618_ref021","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1971.tb00071.x"},{"key":"S0022481200017618_ref006","volume-title":"Modal logic and classical logic","author":"van Benthem","year":"1985"},{"key":"S0022481200017618_ref030","first-page":"1003","volume":"58","author":"Venema","year":"1993","journal-title":"Derivation Rules as anti-axioms in modal logic"},{"key":"S0022481200017618_ref012","volume-title":"Model theory","author":"Chang","year":"1990"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200017618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,26]],"date-time":"2021-07-26T20:31:22Z","timestamp":1627331482000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200017618\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["S0022481200017618"],"URL":"https:\/\/doi.org\/10.2307\/2275595","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}