Ability and knowledge: from epistemic transition systems to labelled stit models

It is possible to know that one can guarantee a certain result and yet not know how to guarantee it. In such cases one has the ability to guarantee something in a causal sense, but not in an epistemic sense. In this paper we focus on two formalisms used to model both conceptions of ability: one form...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Autonomous agents and multi-agent systems Jg. 39; H. 1; S. 2
Hauptverfasser:	Kuncová, Alexandra, Broersen, Jan, Duijf, Hein, Ramírez Abarca, Aldo Iván
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Springer US 01.06.2025 Springer Nature B.V
Schlagworte:	Artificial Intelligence Computer Science Computer Systems Organization and Communication Networks Epistemology Formalism Knowledge Language Logic Software Engineering/Programming and Operating Systems User Interfaces and Human Computer Interaction Ability Stit theory Transition system Multiagent system Modal logic Knowledge
ISSN:	1387-2532, 1573-7454
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Abstract	It is possible to know that one can guarantee a certain result and yet not know how to guarantee it. In such cases one has the ability to guarantee something in a causal sense, but not in an epistemic sense. In this paper we focus on two formalisms used to model both conceptions of ability: one formalism based on epistemic transition systems and the other on labelled stit models. We show a strong correspondence between the two formalisms by providing mappings from the former to the latter for both the languages and the structures. Moreover, we demonstrate that our extension of labelled stit logic is more expressive than the logic of epistemic transition systems.
AbstractList	It is possible to know that one can guarantee a certain result and yet not know how to guarantee it. In such cases one has the ability to guarantee something in a causal sense, but not in an epistemic sense. In this paper we focus on two formalisms used to model both conceptions of ability: one formalism based on epistemic transition systems and the other on labelled stit models. We show a strong correspondence between the two formalisms by providing mappings from the former to the latter for both the languages and the structures. Moreover, we demonstrate that our extension of labelled stit logic is more expressive than the logic of epistemic transition systems. It is possible to know that one can guarantee a certain result and yet not know how to guarantee it. In such cases one has the ability to guarantee something in a causal sense, but not in an epistemic sense. In this paper we focus on two formalisms used to model both conceptions of ability: one formalism based on epistemic transition systems and the other on labelled stit models. We show a strong correspondence between the two formalisms by providing mappings from the former to the latter for both the languages and the structures. Moreover, we demonstrate that our extension of labelled stit logic is more expressive than the logic of epistemic transition systems.It is possible to know that one can guarantee a certain result and yet not know how to guarantee it. In such cases one has the ability to guarantee something in a causal sense, but not in an epistemic sense. In this paper we focus on two formalisms used to model both conceptions of ability: one formalism based on epistemic transition systems and the other on labelled stit models. We show a strong correspondence between the two formalisms by providing mappings from the former to the latter for both the languages and the structures. Moreover, we demonstrate that our extension of labelled stit logic is more expressive than the logic of epistemic transition systems.
ArticleNumber	2
Author	Kuncová, Alexandra Broersen, Jan Duijf, Hein Ramírez Abarca, Aldo Iván
Author_xml	– sequence: 1 givenname: Alexandra surname: Kuncová fullname: Kuncová, Alexandra email: alexandra.kuncova@gmail.com organization: Department of Philosophy and Religious Studies, Utrecht University – sequence: 2 givenname: Jan surname: Broersen fullname: Broersen, Jan organization: Department of Philosophy and Religious Studies, Utrecht University – sequence: 3 givenname: Hein surname: Duijf fullname: Duijf, Hein organization: Department of Philosophy and Religious Studies, Utrecht University, Department of Philosophy, Vrije Universiteit Amsterdam, Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München – sequence: 4 givenname: Aldo Iván surname: Ramírez Abarca fullname: Ramírez Abarca, Aldo Iván organization: Department of Philosophy and Religious Studies, Utrecht University
BackLink	https://www.ncbi.nlm.nih.gov/pubmed/39512400$$D View this record in MEDLINE/PubMed
BookMark	eNp9kUtvGyEUhVGUKK_2D2RRIXXTzTTABcbupoqiPiJFShbtGjHDHZd0BlzAtfzvi-MkTbroAoHgO4d77zkh-yEGJOSMs_ecsfY8cybVrGFCNmyuNW_We-SYqxaaViq5X88waxuhQByRk5zvGONaaH5IjmCuuJCMHZPbi86PvmyoDY7-DHE9olvgBzqkOFFc-lxw8j0tyYbsi4-B5s32LtMS6Wg7HKuA5uILnaLDMb8iB4MdM75-2E_J98-fvl1-ba5vvlxdXlw3vRS6NFqj7azkSnTQWoB5N6BDhV0vrQSFA3NgndQMsJd1tYwNXKJA7pyEeQ-n5OPOd7nqJnQ9hlrjaJbJTzZtTLTevHwJ_odZxN-GcwUz3vLq8O7BIcVfK8zFTD73tSEbMK6yAS5mIKTWbUXf_oPexVUKtT8DQkkB20lX6s3zkp5qeZx2BcQO6FPMOeHwhHBmtpGaXaSmRmruIzXrKoKdKFc4LDD9_fs_qj8_TKWj
Cites_doi	10.1007/BF01160018 10.1111/j.1755-2567.1988.tb00717.x 10.1007/BF03037383 10.1093/acprof:oso/9780199256860.001.0001 10.1016/j.artint.2018.06.007 10.1093/0195134613.001.0001 10.1007/11853886_8 10.1016/j.tcs.2005.07.043 10.2307/2023833 10.1109/SFCS.1976.27 10.1023/B:SYNT.0000024915.66183.d1 10.3390/g1040478 10.24963/ijcai.2022/367 10.1093/acprof:oso/9780195389364.003.0003 10.1007/s11225-013-9492-5 10.1093/logcom/12.1.149 10.24963/ijcai.2021/274 10.1017/S1755020320000362 10.24963/ijcai.2017/143 10.1093/oso/9780195138788.001.0001 10.1093/logcom/ext072 10.1145/585265.585270 10.1609/aaai.v32i1.11579 10.1007/s11229-016-1272-0 10.1145/1160633.1160666 10.1016/j.jal.2010.06.002 10.1093/logcom/exv085 10.1007/s10676-004-3422-1 10.1007/978-94-010-1268-3 10.1016/j.artint.2020.103269 10.1016/j.artint.2010.11.022 10.1007/s10849-009-9105-x 10.1007/978-3-030-92655-7 10.3998/mpub.356801 10.1142/S0219198907001254 10.1007/978-3-662-48540-8_5 10.3166/jancl.17.423-475 10.1016/0004-3702(92)90049-4 10.1023/A:1026185103185 10.1007/s11229-005-3875-8 10.1007/s10992-015-9365-7 10.1017/S1755020317000016 10.1007/BF01306968 10.1007/978-3-642-40624-9_11 10.1007/978-3-662-55665-8_15 10.5117/9789089640260 10.1111/j.1755-2567.2001.tb00205.x 10.1007/s11225-012-9445-4 10.1093/logcom/exl025 10.1016/S1571-0661(05)82604-0 10.1145/1324249.1324264
ContentType	Journal Article
Copyright	The Author(s) 2024 The Author(s) 2024. The Author(s) 2024. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. The Author(s) 2024 2024
Copyright_xml	– notice: The Author(s) 2024 – notice: The Author(s) 2024. – notice: The Author(s) 2024. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. – notice: The Author(s) 2024 2024
DBID	C6C AAYXX CITATION NPM JQ2 7X8 5PM
DOI	10.1007/s10458-024-09661-w
DatabaseName	Springer Nature OA Free Journals (WRLC) CrossRef PubMed ProQuest Computer Science Collection MEDLINE - Academic PubMed Central (Full Participant titles)
DatabaseTitle	CrossRef PubMed ProQuest Computer Science Collection MEDLINE - Academic
DatabaseTitleList	PubMed MEDLINE - Academic ProQuest Computer Science Collection CrossRef
Database_xml	– sequence: 1 dbid: NPM name: PubMed url: http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?db=PubMed sourceTypes: Index Database – sequence: 2 dbid: 7X8 name: MEDLINE - Academic url: https://search.proquest.com/medline sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
EISSN	1573-7454
ExternalDocumentID	PMC11538171 39512400 10_1007_s10458_024_09661_w
Genre	Journal Article
GrantInformation_xml	– fundername: European Research Council grantid: 616512; 616512; 616512 funderid: http://dx.doi.org/10.13039/501100000781 – fundername: Nederlandse Organisatie voor Wetenschappelijk Onderzoek grantid: 652.001.004; 652.001.004 funderid: http://dx.doi.org/10.13039/501100003246
GroupedDBID	-~C .86 .DC .VR 06D 0R~ 0VY 1N0 203 23N 2J2 2JN 2JY 2KG 2KM 2LR 2~H 30V 4.4 406 408 409 40D 40E 5GY 5VS 67Z 6J9 6NX 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAPKM AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBBX ABBRH ABBXA ABDBE ABDZT ABECU ABFSG ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABSXP ABTEG ABTHY ABTKH ABTMW ABWNU ABXPI ACAOD ACDTI ACGFO ACGFS ACHSB ACHXU ACKNC ACMDZ ACMFV ACMLO ACOKC ACOMO ACPIV ACREN ACSNA ACSTC ACZOJ ADHHG ADHIR ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADYOE ADZKW AEFQL AEGAL AEGNC AEJHL AEJRE AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AEZWR AFBBN AFDZB AFHIU AFLOW AFOHR AFQWF AFWTZ AFYQB AFZKB AGAYW AGDGC AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHPBZ AHWEU AHYZX AIAKS AIGIU AIIXL AILAN AITGF AIXLP AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMTXH AMXSW AMYLF AMYQR AOCGG ARMRJ ASPBG ATHPR AVWKF AXYYD AYFIA AYJHY AZFZN B-. BA0 BGNMA BSONS C6C CS3 CSCUP DDRTE DL5 DNIVK DPUIP EBLON EBS EIOEI ESBYG F5P FEDTE FERAY FFXSO FIGPU FNLPD FRRFC FWDCC GGCAI GGRSB GJIRD GNWQR GQ7 GQ8 GXS HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IHE IJ- IKXTQ ITM IWAJR IXC IXE IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ KDC KOV LAK LLZTM M4Y MA- NB0 NPVJJ NQJWS NU0 O93 O9J OAM P2P P9O PF0 PT4 PT5 QOS R89 R9I RNS ROL RPX RSV S16 S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 YLTOR Z45 ZMTXR -Y2 1SB 2P1 2VQ 6TJ AARHV AAYXX ABJCF ABQSL ABRTQ ABULA ACBXY ADHKG AEBTG AEKMD AFFHD AFGCZ AFKRA AGGDS AGQPQ AHSBF AJBLW ARAPS BDATZ BENPR BGLVJ CAG CCPQU CITATION COF EJD FINBP FSGXE H13 HCIFZ K7- M7S N2Q O9- OVD PHGZM PHGZT PQGLB PTHSS RNI RZC RZE RZK S1Z TEORI NPM JQ2 7X8 5PM
ID	FETCH-LOGICAL-c426t-66eaba4152b37a339bfede5ebc4a435ef0d3ad4603ec43ec700f14e2e1dd439c3
IEDL.DBID	RSV
ISICitedReferencesCount	0
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001350714500001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	1387-2532
IngestDate	Tue Nov 04 02:05:40 EST 2025 Thu Oct 02 05:29:38 EDT 2025 Wed Oct 01 06:59:46 EDT 2025 Mon Jul 21 06:07:18 EDT 2025 Sat Nov 29 07:45:07 EST 2025 Tue Jul 08 01:12:47 EDT 2025
IsDoiOpenAccess	true
IsOpenAccess	true
IsPeerReviewed	true
IsScholarly	true
Issue	1
Keywords	Ability Stit theory Transition system Multiagent system Modal logic Knowledge
Language	English
License	The Author(s) 2024. Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c426t-66eaba4152b37a339bfede5ebc4a435ef0d3ad4603ec43ec700f14e2e1dd439c3
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 content type line 23
OpenAccessLink	https://link.springer.com/10.1007/s10458-024-09661-w
PMID	39512400
PQID	3254231387
PQPubID	2043870
ParticipantIDs	pubmedcentral_primary_oai_pubmedcentral_nih_gov_11538171 proquest_miscellaneous_3128324667 proquest_journals_3254231387 pubmed_primary_39512400 crossref_primary_10_1007_s10458_024_09661_w springer_journals_10_1007_s10458_024_09661_w
PublicationCentury	2000
PublicationDate	2025-06-01
PublicationDateYYYYMMDD	2025-06-01
PublicationDate_xml	– month: 06 year: 2025 text: 2025-06-01 day: 01
PublicationDecade	2020
PublicationPlace	New York
PublicationPlace_xml	– name: New York – name: United States
PublicationTitle	Autonomous agents and multi-agent systems
PublicationTitleAbbrev	Auton Agent Multi-Agent Syst
PublicationTitleAlternate	Auton Agent Multi Agent Syst
PublicationYear	2025
Publisher	Springer US Springer Nature B.V
Publisher_xml	– name: Springer US – name: Springer Nature B.V
References	HG Frankfurt (9661_CR42) 1969; 66 J van Benthem (9661_CR38) 2007; 9 R Ciuni (9661_CR63) 2018; 61 JF Horty (9661_CR32) 1995; 24 T Ågotnes (9661_CR58) 2019; 29 R Kowalski (9661_CR11) 1986; 4 I Pörn (9661_CR30) 1977 A Herzig (9661_CR59) 2008 9661_CR39 R Fagin (9661_CR67) 2003 H Duijf (9661_CR27) 2021; 14 9661_CR36 9661_CR37 JF Horty (9661_CR8) 2017; 10 JY Halpern (9661_CR68) 1992; 54 T Ågotnes (9661_CR51) 2006; 149 W van der Hoek (9661_CR14) 2003; 75 W Jamroga (9661_CR18) 2007; 17 F Van De Putte (9661_CR60) 2017 V Goranko (9661_CR19) 2004; 139 T Alter (9661_CR41) 2008; 67 F Schwarzentruber (9661_CR61) 2012; 100 N Belnap (9661_CR45) 1988; 54 9661_CR9 M Xu (9661_CR33) 2015; 44 9661_CR47 MD Dubber (9661_CR4) 2002 9661_CR49 R Alur (9661_CR12) 2002; 49 T Ågotnes (9661_CR5) 2015 P Naumov (9661_CR48) 2020; 283 E Lorini (9661_CR34) 2014; 24 J van Benthem (9661_CR22) 1995; 3 J Broersen (9661_CR6) 2015 9661_CR53 P Naumov (9661_CR7) 2018; 262 9661_CR54 9661_CR55 J Broersen (9661_CR43) 2011; 9 S Kanger (9661_CR29) 1971 A Herzig (9661_CR35) 2010; 19 9661_CR52 S Chopra (9661_CR3) 2011 JF Horty (9661_CR31) 2001 9661_CR57 9661_CR15 W Jamroga (9661_CR16) 2004; 63 MS Moore (9661_CR2) 2009 P-Y Schobbens (9661_CR17) 2004; 85 M Pauly (9661_CR13) 2002; 12 GH von Wright (9661_CR44) 1963 E Lorini (9661_CR40) 2010; 1 J Broersen (9661_CR20) 2006; 16 9661_CR64 9661_CR21 9661_CR65 N Belnap (9661_CR10) 2001 9661_CR66 E Lorini (9661_CR46) 2011; 175 V Goranko (9661_CR56) 2006; 353 9661_CR62 9661_CR28 Y Wang (9661_CR23) 2018; 195 A Matthias (9661_CR1) 2004; 6 J Broersen (9661_CR50) 2006 9661_CR24 9661_CR25 9661_CR26
References_xml	– volume: 3 start-page: 247 issue: 4 year: 1995 ident: 9661_CR22 publication-title: Journal of Logic, Language and Information doi: 10.1007/BF01160018 – volume: 54 start-page: 175 issue: 3 year: 1988 ident: 9661_CR45 publication-title: Theoria doi: 10.1111/j.1755-2567.1988.tb00717.x – volume: 4 start-page: 67 year: 1986 ident: 9661_CR11 publication-title: New Generation Computing doi: 10.1007/BF03037383 – volume-title: Causation and responsibility: An essay in law, morals, and metaphysics year: 2009 ident: 9661_CR2 doi: 10.1093/acprof:oso/9780199256860.001.0001 – ident: 9661_CR26 – volume: 262 start-page: 279 year: 2018 ident: 9661_CR7 publication-title: Artificial Intelligence doi: 10.1016/j.artint.2018.06.007 – volume-title: Agency and deontic logic year: 2001 ident: 9661_CR31 doi: 10.1093/0195134613.001.0001 – start-page: 69 volume-title: Logics in artificial intelligence year: 2006 ident: 9661_CR50 doi: 10.1007/11853886_8 – volume: 353 start-page: 93 year: 2006 ident: 9661_CR56 publication-title: Theoretical Computer Science doi: 10.1016/j.tcs.2005.07.043 – volume: 66 start-page: 829 issue: 23 year: 1969 ident: 9661_CR42 publication-title: The Journal of Philosophy doi: 10.2307/2023833 – ident: 9661_CR9 doi: 10.1109/SFCS.1976.27 – volume: 139 start-page: 241 issue: 2 year: 2004 ident: 9661_CR19 publication-title: Synthese doi: 10.1023/B:SYNT.0000024915.66183.d1 – volume: 1 start-page: 478 issue: 4 year: 2010 ident: 9661_CR40 publication-title: Games doi: 10.3390/g1040478 – ident: 9661_CR62 doi: 10.24963/ijcai.2022/367 – ident: 9661_CR36 doi: 10.1093/acprof:oso/9780195389364.003.0003 – ident: 9661_CR65 doi: 10.1007/s11225-013-9492-5 – volume-title: Norm and action: A logical enquiry year: 1963 ident: 9661_CR44 – volume: 63 start-page: 185 issue: 2–3 year: 2004 ident: 9661_CR16 publication-title: Fundamenta Informaticae – start-page: 543 volume-title: Handbook of epistemic logic year: 2015 ident: 9661_CR5 – volume: 12 start-page: 149 issue: 1 year: 2002 ident: 9661_CR13 publication-title: Journal of Logic and Computation doi: 10.1093/logcom/12.1.149 – volume: 61 start-page: 299 issue: 243 year: 2018 ident: 9661_CR63 publication-title: Logique et Analyse – ident: 9661_CR49 doi: 10.24963/ijcai.2021/274 – volume: 14 start-page: 380 issue: 2 year: 2021 ident: 9661_CR27 publication-title: The Review of Symbolic Logic doi: 10.1017/S1755020320000362 – ident: 9661_CR52 – ident: 9661_CR24 doi: 10.24963/ijcai.2017/143 – start-page: 36 volume-title: Deontic logic: Introductory and systematic readings year: 1971 ident: 9661_CR29 – volume-title: Facing the future: Agents and choices in our indeterminist world year: 2001 ident: 9661_CR10 doi: 10.1093/oso/9780195138788.001.0001 – volume: 24 start-page: 1313 issue: 6 year: 2014 ident: 9661_CR34 publication-title: Journal of Logic and Computation doi: 10.1093/logcom/ext072 – volume: 49 start-page: 672 issue: 5 year: 2002 ident: 9661_CR12 publication-title: Journal of the ACM doi: 10.1145/585265.585270 – start-page: 133 volume-title: Advances in modal logic year: 2008 ident: 9661_CR59 – ident: 9661_CR55 doi: 10.1609/aaai.v32i1.11579 – volume: 195 start-page: 4419 issue: 10 year: 2018 ident: 9661_CR23 publication-title: Synthese doi: 10.1007/s11229-016-1272-0 – ident: 9661_CR25 doi: 10.1145/1160633.1160666 – volume: 9 start-page: 137 issue: 2 year: 2011 ident: 9661_CR43 publication-title: Journal of Applied Logic doi: 10.1016/j.jal.2010.06.002 – volume: 29 start-page: 1041 issue: 7 year: 2019 ident: 9661_CR58 publication-title: Journal of Logic and Computation doi: 10.1093/logcom/exv085 – ident: 9661_CR66 – ident: 9661_CR53 – volume: 6 start-page: 175 year: 2004 ident: 9661_CR1 publication-title: Ethics and Information Technology doi: 10.1007/s10676-004-3422-1 – volume-title: Action theory and social science: Some formal models year: 1977 ident: 9661_CR30 doi: 10.1007/978-94-010-1268-3 – volume: 283 year: 2020 ident: 9661_CR48 publication-title: Artificial Intelligence doi: 10.1016/j.artint.2020.103269 – volume: 175 start-page: 814 issue: 3–4 year: 2011 ident: 9661_CR46 publication-title: Artificial Intelligence doi: 10.1016/j.artint.2010.11.022 – volume: 19 start-page: 89 year: 2010 ident: 9661_CR35 publication-title: Journal of Logic, Language and Information doi: 10.1007/s10849-009-9105-x – ident: 9661_CR28 doi: 10.1007/978-3-030-92655-7 – ident: 9661_CR37 – volume-title: A legal theory for autonomous artificial agents year: 2011 ident: 9661_CR3 doi: 10.3998/mpub.356801 – volume: 9 start-page: 13 year: 2007 ident: 9661_CR38 publication-title: International Game Theory Review doi: 10.1142/S0219198907001254 – start-page: 137 volume-title: Models of strategic reasoning year: 2015 ident: 9661_CR6 doi: 10.1007/978-3-662-48540-8_5 – volume: 17 start-page: 423 issue: 4 year: 2007 ident: 9661_CR18 publication-title: Journal of Applied Non-Classical Logics doi: 10.3166/jancl.17.423-475 – volume: 54 start-page: 319 issue: 3 year: 1992 ident: 9661_CR68 publication-title: Artificial Intelligence doi: 10.1016/0004-3702(92)90049-4 – volume: 75 start-page: 125 issue: 1 year: 2003 ident: 9661_CR14 publication-title: Studia Logica doi: 10.1023/A:1026185103185 – volume: 149 start-page: 375 year: 2006 ident: 9661_CR51 publication-title: Synthese doi: 10.1007/s11229-005-3875-8 – volume: 44 start-page: 851 issue: 6 year: 2015 ident: 9661_CR33 publication-title: Journal of Philosophical Logic doi: 10.1007/s10992-015-9365-7 – volume: 10 start-page: 617 issue: 4 year: 2017 ident: 9661_CR8 publication-title: The Review of Symbolic Logic doi: 10.1017/S1755020317000016 – volume: 24 start-page: 583 issue: 6 year: 1995 ident: 9661_CR32 publication-title: Journal of Philosophical Logic doi: 10.1007/BF01306968 – ident: 9661_CR47 doi: 10.1007/978-3-642-40624-9_11 – start-page: 209 volume-title: Logic, rationality, and interaction year: 2017 ident: 9661_CR60 doi: 10.1007/978-3-662-55665-8_15 – volume-title: Reasoning about knowledge year: 2003 ident: 9661_CR67 – volume-title: Criminal law: Model penal code year: 2002 ident: 9661_CR4 – ident: 9661_CR54 – ident: 9661_CR15 – ident: 9661_CR39 doi: 10.5117/9789089640260 – volume: 67 start-page: 229 issue: 3 year: 2008 ident: 9661_CR41 publication-title: Theoria doi: 10.1111/j.1755-2567.2001.tb00205.x – volume: 100 start-page: 1001 issue: 5 year: 2012 ident: 9661_CR61 publication-title: Studia Logica doi: 10.1007/s11225-012-9445-4 – volume: 16 start-page: 559 issue: 5 year: 2006 ident: 9661_CR20 publication-title: Journal of Logic and Computation doi: 10.1093/logcom/exl025 – volume: 85 start-page: 82 year: 2004 ident: 9661_CR17 publication-title: Electronic Notes in Theoretical Computer Science doi: 10.1016/S1571-0661(05)82604-0 – ident: 9661_CR64 – ident: 9661_CR57 – ident: 9661_CR21 doi: 10.1145/1324249.1324264
SSID	ssj0016261
Score	2.4039974
Snippet	It is possible to know that one can guarantee a certain result and yet not know how to guarantee it. In such cases one has the ability to guarantee something...
SourceID	pubmedcentral proquest pubmed crossref springer
SourceType	Open Access Repository Aggregation Database Index Database Publisher
StartPage	2
SubjectTerms	Artificial Intelligence Computer Science Computer Systems Organization and Communication Networks Epistemology Formalism Knowledge Language Logic Software Engineering/Programming and Operating Systems User Interfaces and Human Computer Interaction
Title	Ability and knowledge: from epistemic transition systems to labelled stit models
URI	https://link.springer.com/article/10.1007/s10458-024-09661-w https://www.ncbi.nlm.nih.gov/pubmed/39512400 https://www.proquest.com/docview/3254231387 https://www.proquest.com/docview/3128324667 https://pubmed.ncbi.nlm.nih.gov/PMC11538171
Volume	39
WOSCitedRecordID	wos001350714500001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVAVX databaseName: SpringerLink customDbUrl: eissn: 1573-7454 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0016261 issn: 1387-2532 databaseCode: RSV dateStart: 19980301 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3LT9ZAEJ8IePACggoVJGvCTTdpu9tt640QiSdC4iPfrdntTuN3sB-hBcJ_78z2gZ_oQQ897aSPmdnOb3ZeACdkMjLnykzmjk-rSuukLdBKNKZsFKalj10YNpFfXBSLRXk5FoV1U7b7FJIMf-pfit10VkiyKZJgt0nk3QZsZdxthn30z9_m2AFB9MHNKrgHgUrHUpk_32PdHD3CmI9TJX-LlwYzdL7zfx_wHLZH2ClOBz3ZhSfY7sHONNJBjDv8BVyehmTZe2FbL-bztg-Cq1AEXrFO_FjWomcLF5K9xNAKuhP9SpBCcRjAC84_EGHGTvcSvp5__HL2SY5DF2RNxrqXxqB1ls26U7lVqnQNeszQ1doStMIm9sp6bWKFtaYrj-Mm0Zhi4j2Bm1q9gs121eIBCFvmjY9jl2pFTqD3RUIOsSYAmrnMaPQRvJt4X10NvTWqhy7KzKyKmFUFZlV3ERxN4qnGfdZVivxbQqgk6gjezsu0QzjsYVtc3RBNwuOYtDFEsz9Ic36cIoDJWbQRFGtyngm4-_b6Srv8HrpwJ2wrkjyJ4P0k7of3-vtnvP438kN4lvLE4XDucwSb_fUNvoGn9W2_7K6PYSNfFMdB_X8CPREBXA
linkProvider	Springer Nature
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3Lb9YwDLdgIMGF8RyFAUHiBpHaJk1bbhPaNMT4NImBdquSxhXfYf2mtWPiv8dOH-Pb4ACHnmL1Ycf1z_EL4A2ZjMy5MpO549Oq0jppC7QSjSkbhWnpYxeGTeSLRXF8XB6ORWHdlO0-hSTDn_q3YjedFZJsiiTYbRJ5cRNuaR6zwz76l29z7IAg-uBmFdyDQKVjqcyf77Fujq5hzOupklfipcEM7W3-3wfch3sj7BQ7wz55ADewfQib00gHMWr4IzjcCcmyP4VtvZjP294LrkIReMp74mRZi54tXEj2EkMr6E70K0EbisMAXnD-gQgzdrrH8HVv9-jDvhyHLsiajHUvjUHrLJt1p3KrVOka9Jihq7UlaIVN7JX12sQKa01XHsdNojHFxHsCN7V6AhvtqsWnIGyZNz6OXaoVOYHeFwk5xJoAaOYyo9FH8HbifXU69NaoLrsoM7MqYlYVmFVdRLA9iaca9ayrFPm3hFBJ1BG8npdJQzjsYVtcnRNNwuOYtDFEszVIc36cIoDJWbQRFGtyngm4-_b6Srv8HrpwJ2wrkjyJ4N0k7sv3-vtnPPs38ldwZ__o80F18HHx6TncTXn6cDgD2oaN_uwcX8Dt-ke_7M5eBiX4BUSTA1g
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1Lb9QwEB5BQYgL5VUIFDASN7CaxI6TcKuAFQi0WvFSb5EdT8QeyK66KRX_nhnn0S6FA-KQk60k9nj0feN5ATwjyMicKzOZO76tKq2TtkAr0ZiyUZiWPnah2UQ-nxdHR-XiXBZ_iHYfXZJ9TgNXaWq7g7VvDs4lvumskIQvkii4SeTpZbiiyZLhoK6Pn75OfgSi673JVXA9ApUOaTN_fsc2NF3gmxfDJn_znQZImu3-_2Juwo2BjorD_vzcgkvY3obdsdWDGDT_DiwOQxDtT2FbL6Z7uJeCs1MErvmsfF_WomPkC0Fgoi8RvRHdStBBY_eAFxyXIELvnc1d-DJ78_nVWzk0Y5A1gXgnjUHrLMO9U7lVqnQNeszQ1doS5cIm9sp6bWKFtaYnj-Mm0Zhi4j2RnlrtwU67avE-CFvmjY9jl2pFxqH3RUKGsiZimrnMaPQRPB_lUK37mhvVWXVl3qyKNqsKm1WdRrA_iqoa9G9TKbJ7ibmS2CN4Og2T5rA7xLa4OqE5Cbdp0sbQnHu9ZKfPKSKeHF0bQbEl82kCV-XeHmmX30J17oQxJMmTCF6Moj_7r78v48G_TX8C1xavZ9WHd_P3D-F6yk2Jw9XQPux0xyf4CK7WP7rl5vhx0Idf6l8MPA
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Ability+and+knowledge%3A+from+epistemic+transition+systems+to+labelled+stit+models&rft.jtitle=Autonomous+agents+and+multi-agent+systems&rft.au=Kuncov%C3%A1%2C+Alexandra&rft.au=Broersen%2C+Jan&rft.au=Duijf%2C+Hein&rft.au=Ram%C3%ADrez+Abarca%2C+Aldo+Iv%C3%A1n&rft.date=2025-06-01&rft.issn=1387-2532&rft.volume=39&rft.issue=1&rft.spage=2&rft_id=info:doi/10.1007%2Fs10458-024-09661-w&rft.externalDBID=NO_FULL_TEXT
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1387-2532&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1387-2532&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1387-2532&client=summon