{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,7]],"date-time":"2024-02-07T00:35:26Z","timestamp":1707266126043},"reference-count":12,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2022,8,18]],"date-time":"2022-08-18T00:00:00Z","timestamp":1660780800000},"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":[[2024,1,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>We present the first-order logic of change, which is an extension of the propositional logic of change $\\textsf {LC}\\Box $ developed and axiomatized by \u015awi\u0119torzecka and Czermak (2015, Log. et Anal., 232, 511\u2013527). $\\textsf {LC}\\Box $ has two primitive operators: ${\\mathcal {C}}$ to be read it changes whether and $\\Box $ for constant unchangeability. It implements the philosophically grounded idea that with the help of the primary concept of change it is possible to define the concept of time. One of the characteristic axioms for ${\\mathcal {C}}$ is ${\\mathcal {C}} A \\to {\\mathcal {C}}\\neg A$ and one of the primitive rules is $\\omega $-rule introducing $\\Box $. It turns out that the next operator is definable in $\\textsf {LC}\\Box $. Logic $\\textsf {LC}\\Box $ with next is equivalent to certain fragment of $\\textsf {LTL}$ extended by the appropriate definition of ${\\mathcal {C}}$. Recently, $\\textsf {LC}\\Box $ has also been modified to the propositional logic of \u2018branching\u2019 changes $\\textsf {BTC}$ by \u0141yczak (2022, Log. J. IGPL) and the logic of \u2018parallel\u2019 changes $\\textsf {LC}\\Box $ \u21b3 by \u015awi\u0119torzecka and \u0141yczak (2022, Log. Log. Philios.). Extended in an appropriate manner, $\\textsf {BTC}$ is equivalent to a certain fragment of logic $\\textsf {CTL}$ to which definitions of two kinds of changes have been added. Here we propose an extension of $\\textsf {LC}\\Box $ to first-order logic in which, again, the only primitive modal operators are ${\\mathcal {C}}$ and $\\Box $. We interpret our logic in the semantics of histories of changes. We give an axiomatic system $\\textsf {LC}\\Box Q$ for the considered logic, and we show selected theses about some relationships between ${\\mathcal {C}}$, $\\Box $ and $\\forall $ (in particular, we prove two versions of the Barcan formula). Then we prove the completeness of $\\textsf {LC}\\Box Q$. Finally, we compare our logic with $\\textsf {FOLT}$ and show the relation between $\\textsf {LC}\\Box Q$ and a certain fragment of the Kr\u00f6ger system $\\varSigma $ to which the definition of ${\\mathcal {C}}$ was added.<\/jats:p>","DOI":"10.1093\/jigpal\/jzac063","type":"journal-article","created":{"date-parts":[[2022,8,20]],"date-time":"2022-08-20T10:18:04Z","timestamp":1660990684000},"page":"35-46","source":"Crossref","is-referenced-by-count":0,"title":["First-order logic of change"],"prefix":"10.1093","volume":"32","author":[{"given":"Kordula","family":"\u015awi\u0119torzecka","sequence":"first","affiliation":[{"name":"Institute of Philosophy , Cardinal St. Wyszy\u0144ski University in Warsaw, Poland"}]}],"member":"286","published-online":{"date-parts":[[2022,8,18]]},"reference":[{"key":"2024020618004473700_ref1","doi-asserted-by":"crossref","DOI":"10.4324\/9780429321047","article-title":"Logic & time","volume-title":"A Computational Approach","author":"Bolc","year":"2019"},{"key":"2024020618004473700_ref2","article-title":"Logic of Time and Computation, 2nd edn","volume-title":"Lectures Notes:\n7","author":"Goldblatt","year":"1992"},{"key":"2024020618004473700_ref3","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"Hughes","year":"1996"},{"key":"2024020618004473700_ref4","first-page":"261","article-title":"On temporal program verification rules","volume":"19","author":"Kr\u00f6ger","year":"1985","journal-title":"RAIRO: Informatique Theorique"},{"key":"2024020618004473700_ref5","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s10516-020-09486-8","article-title":"Belief changes and cognitive development: doxastic logic $\\textsf {LCB}$","volume":"31","author":"\u0141yczak","year":"2021","journal-title":"Axiomathes"},{"key":"2024020618004473700_ref6","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":"2024020618004473700_ref7","doi-asserted-by":"crossref","DOI":"10.1093\/jigpal\/jzac051","article-title":"Branching time axiomatized with the use of change operators","volume-title":"Logic Journal of the IGPL","author":"\u0141yczak"},{"key":"2024020618004473700_ref8","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0304-3975(87)90129-0","article-title":"A complete axiomatic characterization of first-order temporal logic of linear time","volume":"54","author":"Sza\u0142as","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"2024020618004473700_ref9","article-title":"Classical Conceptions of the Changeability of Situations and Things Represented in Formalized Languages","author":"\u015awi\u0119torzecka","year":"2008"},{"key":"2024020618004473700_ref10","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":"2024020618004473700_ref11","first-page":"511","article-title":"A logic of change with modalities","volume":"232","author":"\u015awi\u0119torzecka","year":"2015","journal-title":"Logique et Analyse"},{"key":"2024020618004473700_ref12","article-title":"Leibnizian logic of possible laws","author":"\u015awi\u0119torzecka","year":"2022","journal-title":"A formal Framework Motivated by Hintikka that Blocks the Lovejoy's plenitude"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/32\/1\/35\/56586542\/jzac063.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/32\/1\/35\/56586542\/jzac063.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T18:08:34Z","timestamp":1707242914000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/32\/1\/35\/6668851"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,18]]},"references-count":12,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2022,8,18]]},"published-print":{"date-parts":[[2024,1,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzac063","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2024,2]]},"published":{"date-parts":[[2022,8,18]]}}}