{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T19:08:36Z","timestamp":1707246516417},"reference-count":18,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T00:00:00Z","timestamp":1655769600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>We present a temporal logic of branching time with four primitive operators: $\\exists {\\mathcal {C}}$ \u2013 it may change whether; $\\forall {\\mathcal {C}} $ \u2013 it must change whether; $\\exists \\Box $ \u2013 it may be endlessly unchangeable that; and $\\forall \\Box $ \u2013 it must be endlessly unchangeable that. Semantically, operator $\\forall {\\mathcal {C}}$ expresses a change in the logical value of the given formula in every state that may be an immediate successor of the one considered, while $\\exists {\\mathcal {C}}$ expresses a change in the logical value of the given formula in some state that is a possible immediate successor. $\\forall {\\mathcal {C}} $ and $\\exists {\\mathcal {C}}$ are not normal operators, they are not mutually definable and have unusual properties: $\\forall {\\mathcal {C}} A\\leftrightarrow \\forall {\\mathcal {C}} \\neg A$ and $\\exists {\\mathcal {C}} A \\leftrightarrow \\exists {\\mathcal {C}} \\neg A$ are axioms. Operators $\\exists \\Box $ and $\\forall \\Box $ express endless unchangeability in some and all paths, respectively. Our axiomatization contains two infinitary rules that allow one to obtain $\\exists \\Box A$ from infinitely many combinations of formulas with $A, \\neg , \\forall {\\mathcal {C}}, \\land $, and to get $\\forall \\Box A$ from infinitely many combinations of formulas with $A, \\neg , \\exists {\\mathcal {C}}, \\land $. We show that our formalism is complete by presenting a bridge between our logic and logic $\\textsf {UB}$, which is a fragment of $\\textsf {CTL}$ in which until operators does not occur.<\/jats:p>","DOI":"10.1093\/jigpal\/jzac051","type":"journal-article","created":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T15:00:03Z","timestamp":1655823603000},"page":"894-906","source":"Crossref","is-referenced-by-count":1,"title":["Branching Time Axiomatized With the Use of Change Operators"],"prefix":"10.1093","volume":"31","author":[{"given":"Marcin","family":"\u0141yczak","sequence":"first","affiliation":[{"name":"Institute of Philosophy , University of Warmia and Mazury in Olsztyn, Poland"}]}],"member":"286","published-online":{"date-parts":[[2022,6,21]]},"reference":[{"key":"2023092607150059200_ref1","article-title":"Physica","volume-title":"The Works of Aristotle Translated Into English","author":"Aristotle","year":"1930"},{"key":"2023092607150059200_ref2","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF01257083","article-title":"The temporal logic of branching time","volume":"20","author":"Ben-Ari","year":"1983","journal-title":"Acta Informatica"},{"key":"2023092607150059200_ref3","doi-asserted-by":"crossref","DOI":"10.1093\/0199247900.001.0001","volume-title":"Time for Aristotle","author":"Coope","year":"2005"},{"key":"2023092607150059200_ref4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139236119","volume-title":"Temporal Logics in Computer Science: Finite-State Systems","author":"Demri","year":"2016"},{"key":"2023092607150059200_ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-8237-5","volume-title":"Leibniz\u2019s Metaphysics of Time and Space","author":"Futch","year":"2008"},{"key":"2023092607150059200_ref6","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1093\/jigpal\/jzy065","article-title":"A note on logics of essence and accident","volume":"28","author":"Gilbert","year":"2020","journal-title":"Logic Journal of the IGPL"},{"key":"2023092607150059200_ref7","volume-title":"Logic of Time and Computation","author":"Goldblatt","year":"1992"},{"key":"2023092607150059200_ref8","doi-asserted-by":"crossref","first-page":"203","DOI":"10.12775\/LLP.2014.008","article-title":"A system of the logic of change","volume":"23","author":"Kiczuk","year":"2014","journal-title":"Logic and Logical Philosophy"},{"key":"2023092607150059200_ref9","volume-title":"New Essays on Human Understanding","author":"Leibniz","year":"1990"},{"key":"2023092607150059200_ref10","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1080\/11663081.2020.1717267","article-title":"The logic of modal changes LMC","volume":"30","author":"\u0141yczak","year":"2020","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2023092607150059200_ref11","first-page":"39","article-title":"The modal logic $\\textsf {LEC}$ for changing knowledge, expressed in the growing language","volume":"30","author":"\u0141yczak","year":"2021","journal-title":"Logic and Logical Philosophy"},{"key":"2023092607150059200_ref12","first-page":"43","article-title":"Logics of essence and accident","volume":"34","author":"Marcos","year":"2005","journal-title":"Bulletin of the Section of Logic"},{"key":"2023092607150059200_ref13","article-title":"Leibnizian logic of possible laws. A formal framework motivated by Hintikka that blocks the Lovejoy\u2019s Plenitude","volume-title":"Logic and Logical Philosophy","author":"\u015awi\u0119torzecka","year":"2022"},{"key":"2023092607150059200_ref14","first-page":"511","article-title":"A logic of change with modalities","volume":"232","author":"\u015awi\u0119torzecka","year":"2015","journal-title":"Logique et Analyse"},{"key":"2023092607150059200_ref15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1080\/11663081.2012.682435","article-title":"Some calculus for a logic of change","volume":"22","author":"\u015awi\u0119torzecka","year":"2012","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2023092607150059200_ref16","first-page":"123","article-title":"Between the logic of Parmenides and the logic of Liar","volume":"38","author":"\u015awi\u0119torzecka","year":"2009","journal-title":"Bulletin of the Section of Logic"},{"key":"2023092607150059200_ref17","volume-title":"Classical Conceptions of the Changeability of Situations and Things Represented in Formalized Languages","author":"\u015awi\u0119torzecka","year":"2008"},{"key":"2023092607150059200_ref18","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/s11225-010-9258-2","article-title":"A completeness proof of Kiczuk\u2019s logic of physical change","volume":"95","author":"Trypuz","year":"2010","journal-title":"Studia Logica"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/31\/5\/894\/51754066\/jzac051.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/31\/5\/894\/51754066\/jzac051.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,26]],"date-time":"2023-09-26T07:15:19Z","timestamp":1695712519000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/31\/5\/894\/6609535"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,21]]},"references-count":18,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2022,6,21]]},"published-print":{"date-parts":[[2023,9,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzac051","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2023,10]]},"published":{"date-parts":[[2022,6,21]]}}}