{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T01:05:47Z","timestamp":1773450347405,"version":"3.50.1"},"reference-count":41,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T00:00:00Z","timestamp":1771977600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100005995","name":"Bulgarian Academy of Sciences","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100005995","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Logical and Algebraic Methods in Programming"],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1016\/j.jlamp.2026.101114","type":"journal-article","created":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T20:09:42Z","timestamp":1772309382000},"page":"101114","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Finitely defined preference and preference indiscernibility in ATL with strategy contexts"],"prefix":"10.1016","volume":"150","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3101-7433","authenticated-orcid":false,"given":"Dimitar","family":"P\u2024\u202fGuelev","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jlamp.2026.101114_bib0001","unstructured":"J. Y. Halpern, Beyond Nash equilibrium: solution concepts for the 21st century, in: GameSec 2011,Proceedings, 7037 of LNCS, Springer, 2011, pp. 1\u20133. See also https:\/\/arxiv.org\/pdf\/0806.2139.pdf."},{"issue":"1\u20132","key":"10.1016\/j.jlamp.2026.101114_bib0002","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/j.tcs.2006.07.032","article-title":"Games with secure equilibria","volume":"365","author":"Chatterjee","year":"2006","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.jlamp.2026.101114_bib0003","series-title":"TACAS 2010","first-page":"190","article-title":"Rational synthesis","volume":"6015","author":"Fisman","year":"2010"},{"issue":"9","key":"10.1016\/j.jlamp.2026.101114_bib0004","doi-asserted-by":"crossref","first-page":"6569","DOI":"10.1007\/s10489-021-02658-y","article-title":"Rational verification: game-theoretic verification of multi-agent systems","volume":"51","author":"Abate","year":"2021","journal-title":"Appl. Intell."},{"key":"10.1016\/j.jlamp.2026.101114_bib0005","series-title":"TARK 2019","first-page":"106","article-title":"Reasoning about social choice and games in monadic fixed-Point logic","volume":"297","author":"Das","year":"2019"},{"key":"10.1016\/j.jlamp.2026.101114_bib0006","series-title":"Proceedings of FCS\u201997","first-page":"100","article-title":"Alternating-time temporal logic","author":"Alur","year":"1997"},{"issue":"5","key":"10.1016\/j.jlamp.2026.101114_bib0007","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/585265.585270","article-title":"Alternating-time temporal logic","volume":"49","author":"Alur","year":"2002","journal-title":"J. ACM"},{"key":"10.1016\/j.jlamp.2026.101114_bib0008","series-title":"FSTTCS 2010","first-page":"133","article-title":"Reasoning about strategies","volume":"8","author":"Mogavero","year":"2010"},{"issue":"6","key":"10.1016\/j.jlamp.2026.101114_bib0009","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1016\/j.ic.2009.07.004","article-title":"Strategy logic","volume":"208","author":"Chatterjee","year":"2010","journal-title":"Inf. Comput."},{"key":"10.1016\/j.jlamp.2026.101114_bib0010","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.ic.2015.03.011","article-title":"Iterated Boolean games","volume":"242","author":"Gutierrez","year":"2015","journal-title":"Inf. Comput."},{"key":"10.1016\/j.jlamp.2026.101114_bib0011","series-title":"FSTTCS","first-page":"120","article-title":"ATL With strategy contexts: expressiveness and model checking","volume":"8","author":"Lopes","year":"2010"},{"key":"10.1016\/j.jlamp.2026.101114_bib0012","series-title":"KRAMAS 2008, Revised Selected Papers","first-page":"32","article-title":"Modal logics for preferences and cooperation: expressivity and complexity","volume":"5605","author":"D\u00e9gremont","year":"2008"},{"key":"10.1016\/j.jlamp.2026.101114_bib0013","series-title":"Technical Report","article-title":"Preference Logic, Conditionals and Solution Concepts in Games","author":"van Benthem","year":"2005"},{"issue":"3","key":"10.1016\/j.jlamp.2026.101114_bib0014","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/s10849-019-09307-1","article-title":"A history based logic for dynamic preference updates","volume":"29","author":"Baskent","year":"2020","journal-title":"J. Log. Lang. Inf."},{"key":"10.1016\/j.jlamp.2026.101114_bib0015","series-title":"TARK 2007","first-page":"269","article-title":"Alternating-time temporal logic with explicit strategies","author":"Walther","year":"2007"},{"key":"10.1016\/j.jlamp.2026.101114_bib0016","series-title":"CONCUR","first-page":"466","article-title":"A temporal logic for the interaction of strategies","volume":"6901","author":"Wang","year":"2011"},{"key":"10.1016\/j.jlamp.2026.101114_bib0017","series-title":"FOSSACS 2012","first-page":"301","article-title":"Concurrent games with ordered objectives","volume":"7213","author":"Bouyer","year":"2012"},{"issue":"2","key":"10.1016\/j.jlamp.2026.101114_bib0018","article-title":"Pure nash equilibria in concurrent deterministic games","volume":"11","author":"Bouyer","year":"2015","journal-title":"Logical Methods in Computer Science"},{"key":"10.1016\/j.jlamp.2026.101114_bib0019","series-title":"Proceedings of AAMAS 2025","first-page":"1309","article-title":"Rational capability in concurrent games","author":"Li","year":"2025"},{"key":"10.1016\/j.jlamp.2026.101114_bib0020","unstructured":"H. Rahmani, A.N. Kulkarni, J. Fu, Preference-based planning in stochastic environments: from partially-ordered temporal goals to most preferred policies, CoRR abs\/2403.18212(2024). 2403.1821210.48550\/ARXIV.2403.18212."},{"key":"10.1016\/j.jlamp.2026.101114_bib0021","unstructured":"C. Probine, A.N. Kulkarni, U. Topcu, Privacy-aware nash equilibrium synthesis with partially ordered LTLf objectives, CoRR abs\/2501.16307(2025). 2501.1630710.48550\/ARXIV.2501.16307."},{"issue":"1","key":"10.1016\/j.jlamp.2026.101114_bib0022","doi-asserted-by":"crossref","first-page":"5:1","DOI":"10.1145\/3427955","article-title":"Strategy logic with imperfect information","volume":"22","author":"Berthon","year":"2021","journal-title":"ACM Trans. Comput. Log."},{"key":"10.1016\/j.jlamp.2026.101114_bib0023","series-title":"Handbook of Philosophical Logic, 2nd Edition","first-page":"319","article-title":"Preference logic","author":"Hansson","year":"2004"},{"key":"10.1016\/j.jlamp.2026.101114_bib0024","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1016\/j.ic.2014.12.020","article-title":"Augmenting ATL with strategy contexts","volume":"245","author":"Laroussinie","year":"2015","journal-title":"Inf. Comput."},{"key":"10.1016\/j.jlamp.2026.101114_bib0025","series-title":"CONCUR 2012. Proceedings","first-page":"177","article-title":"Quantified CTL: expressiveness and model checking - (extended abstract)","volume":"7454","author":"Lopes","year":"2012"},{"issue":"2","key":"10.1016\/j.jlamp.2026.101114_bib0026","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/B:SYNT.0000024915.66183.d1","article-title":"Comparing semantics for logics of multi-agent systems","volume":"139","author":"Goranko","year":"2004","journal-title":"Synthese"},{"key":"10.1016\/j.jlamp.2026.101114_bib0027","series-title":"Australian Joint Conference on Artificial Intelligence","first-page":"165","article-title":"Decidability of quantifed propositional branching time logics","volume":"2256","author":"French","year":"2001"},{"key":"10.1016\/j.jlamp.2026.101114_bib0028","series-title":"Bisimulation Quantifiers for Modal Logics","author":"French","year":"2006"},{"issue":"4","key":"10.1016\/j.jlamp.2026.101114_bib0029","article-title":"Quantified CTL: expressiveness and complexity","volume":"10","author":"Laroussinie","year":"2014","journal-title":"Log. Methods Comput. Sci."},{"key":"10.1016\/j.jlamp.2026.101114_bib0030","series-title":"LFCS 2009","first-page":"92","article-title":"ATL With strategy contexts and bounded memory","volume":"5407","author":"Brihaye","year":"2009"},{"issue":"4","key":"10.1016\/j.jlamp.2026.101114_bib0031","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/321239.321249","article-title":"Derivatives of regular expressions","volume":"11","author":"Brzozowski","year":"1964","journal-title":"J. ACM"},{"issue":"4","key":"10.1016\/j.jlamp.2026.101114_bib0032","doi-asserted-by":"crossref","first-page":"1487","DOI":"10.1016\/j.jet.2013.04.018","article-title":"Dynamically stable preferences","volume":"148","author":"Gumen","year":"2013","journal-title":"J. Econ. Theory"},{"key":"10.1016\/j.jlamp.2026.101114_bib0033","series-title":"Proceedings of SR 2013","first-page":"81","article-title":"Reducing validity in epistemic ATL to validity in epistemic CTL","volume":"112","author":"Guelev","year":"2013"},{"issue":"2\u20134","key":"10.1016\/j.jlamp.2026.101114_bib0034","first-page":"281","article-title":"A modal characterization of nash equilibrium","volume":"57","author":"Harrenstein","year":"2003","journal-title":"Fundam. Inf."},{"issue":"1","key":"10.1016\/j.jlamp.2026.101114_bib0035","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10992-008-9085-3","article-title":"Everything else being equal: a modal logic for ceteris paribus preferences","volume":"38","author":"van Benthem","year":"2009","journal-title":"J. Philos. Log."},{"issue":"1","key":"10.1016\/j.jlamp.2026.101114_bib0036","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","article-title":"Using the universal modality: gains and questions","volume":"2","author":"Goranko","year":"1992","journal-title":". Logic Comput."},{"key":"10.1016\/j.jlamp.2026.101114_bib0037","series-title":"Temporal Logic: Mathematical Foundations and Computational Aspects. Volume I","author":"Gabbay","year":"1994"},{"key":"10.1016\/j.jlamp.2026.101114_bib0038","first-page":"1","article-title":"An epistemic logic of preferences","volume":"201:77","author":"Naumov","year":"2023","journal-title":"Synthese"},{"issue":"2","key":"10.1016\/j.jlamp.2026.101114_bib0039","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/s11229-009-9551-7","article-title":"Reasoning about cooperation, actions and preferences","volume":"169","author":"Kurzen","year":"2009","journal-title":"Synth."},{"key":"10.1016\/j.jlamp.2026.101114_bib0040","article-title":"Handbook of Epistemic Logic","year":"2015"},{"key":"10.1016\/j.jlamp.2026.101114_bib0041","series-title":"Model Checking","author":"Clarke","year":"2001"}],"container-title":["Journal of Logical and Algebraic Methods in Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352220826000064?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352220826000064?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T00:46:36Z","timestamp":1773449196000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2352220826000064"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":41,"alternative-id":["S2352220826000064"],"URL":"https:\/\/doi.org\/10.1016\/j.jlamp.2026.101114","relation":{},"ISSN":["2352-2208"],"issn-type":[{"value":"2352-2208","type":"print"}],"subject":[],"published":{"date-parts":[[2026,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Finitely defined preference and preference indiscernibility in ATL with strategy contexts","name":"articletitle","label":"Article Title"},{"value":"Journal of Logical and Algebraic Methods in Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jlamp.2026.101114","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Author(s). Published by Elsevier Inc.","name":"copyright","label":"Copyright"}],"article-number":"101114"}}