Obligation as Optimal Goal Satisfaction

Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obl...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of philosophical logic Vol. 47; no. 4; pp. 579 - 609
Main Authors:	Kowalski, Robert, Satoh, Ken
Format:	Journal Article
Language:	English
Published:	Dordrecht Springer 01.08.2018 Springer Netherlands Springer Nature B.V
Subjects:	Cognition Education Logic Philosophy Reasoning Semantics Abductive logic programming Contrary-to-duty obligations Normative conflicts Goals Preferences Deontic logic
ISSN:	0022-3611, 1573-0433
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Abstract	Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O (p → q). In this paper we propose a nonmodal approach in which obligations are preferred ways of satisfying goals expressed in first-order logic. To say that p is obligatory, but may be violated, resulting in a less than ideal situation s, means that the task is to satisfy the goal p ∨ s, and that models in which p is true are preferred to models in which s is true. Whereas, in modal logic, the preference relation between possible worlds is part of the semantics of the logic, in this non-modal approach, the preference relation between first-order models is external to the logic. Although our main focus is on satisfying goals, we also formulate a notion of logical consequence, which is comparable to the notion of logical consequence in modal deontic logic. In this formalisation, an obligation O p is a logical consequence of goals G, when p is true in all best models of G. We show how this non-modal approach to the treatment of deontic concepts deals with problems of contrary-to-duty obligations and normative conflicts, and argue that the approach is useful for many other applications, including abductive explanations, defeasible reasoning, combinatorial optimisation, and reactive systems of the production system variety.
AbstractList	Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation Oq is a logical consequence of the obligations Op and O (p → q). In this paper we propose a non-modal approach in which obligations are preferred ways of satisfying goals expressed in first-order logic. To say that p is obligatory, but may be violated, resulting in a less than ideal situation s, means that the task is to satisfy the goal p ∨ s, and that models in which p is true are preferred to models in which s is true. Whereas, in modal logic, the preference relation between possible worlds is part of the semantics of the logic, in this non-modal approach, the preference relation between first-order models is external to the logic. Although our main focus is on satisfying goals, we also formulate a notion of logical consequence, which is comparable to the notion of logical consequence in modal deontic logic. In this formalisation, an obligation Op is a logical consequence of goals G, when p is true in all best models of G. We show how this non-modal approach to the treatment of deontic concepts deals with problems of contrary-to-duty obligations and normative conflicts, and argue that the approach is useful for many other applications, including abductive explanations, defeasible reasoning, combinatorial optimisation, and reactive systems of the production system variety. Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O ( p → q ). In this paper we propose a non-modal approach in which obligations are preferred ways of satisfying goals expressed in first-order logic. To say that p is obligatory, but may be violated, resulting in a less than ideal situation s , means that the task is to satisfy the goal p ∨ s , and that models in which p is true are preferred to models in which s is true. Whereas, in modal logic, the preference relation between possible worlds is part of the semantics of the logic, in this non-modal approach, the preference relation between first-order models is external to the logic. Although our main focus is on satisfying goals, we also formulate a notion of logical consequence, which is comparable to the notion of logical consequence in modal deontic logic. In this formalisation, an obligation O p is a logical consequence of goals G, when p is true in all best models of G. We show how this non-modal approach to the treatment of deontic concepts deals with problems of contrary-to-duty obligations and normative conflicts, and argue that the approach is useful for many other applications, including abductive explanations, defeasible reasoning, combinatorial optimisation, and reactive systems of the production system variety. Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O (p → q). In this paper we propose a nonmodal approach in which obligations are preferred ways of satisfying goals expressed in first-order logic. To say that p is obligatory, but may be violated, resulting in a less than ideal situation s, means that the task is to satisfy the goal p ∨ s, and that models in which p is true are preferred to models in which s is true. Whereas, in modal logic, the preference relation between possible worlds is part of the semantics of the logic, in this non-modal approach, the preference relation between first-order models is external to the logic. Although our main focus is on satisfying goals, we also formulate a notion of logical consequence, which is comparable to the notion of logical consequence in modal deontic logic. In this formalisation, an obligation O p is a logical consequence of goals G, when p is true in all best models of G. We show how this non-modal approach to the treatment of deontic concepts deals with problems of contrary-to-duty obligations and normative conflicts, and argue that the approach is useful for many other applications, including abductive explanations, defeasible reasoning, combinatorial optimisation, and reactive systems of the production system variety.
Author	Kowalski, Robert Satoh, Ken
Author_xml	– sequence: 1 givenname: Robert surname: Kowalski fullname: Kowalski, Robert – sequence: 2 givenname: Ken surname: Satoh fullname: Satoh, Ken
BookMark	eNp9kEFLAzEQhYNUsK3-AA9CwYOn6CSTNMlRiq1CoQf1HLJpUlrqpibbg__elBW9eZmBmffNG96IDNrUBkKuGdwzAPVQGBjDKTBFjRBA8YwMmVRIQSAOyBCAc4pTxi7IqJQdAGiGakjuVs1-u3HdNrUTVyarQ7f9cPvJItXyWsclOn9aXpLz6PYlXP30MXmfP73NnulytXiZPS6pR2M6yn2joog-rINAFZlxLDgn1yooDY1A0NGgMAq5ZoZ7IwOYoBSwILxcuwbH5La_e8jp8xhKZ3fpmNtqaTlMNUeplakq1qt8TqXkEO0h17_zl2VgT3nYPg9b87CnPCxWhvdMqdp2E_Lf5f-gmx7alS7lXxchtFQSp_gN8WlsZA
Cites_doi	10.1016/0004-3702(80)90013-2 10.1007/BF01531262 10.1305/ndjfl/1093637776 10.2307/2024762 10.1017/S1471068416000041 10.1093/analys/24.2.33 10.1016/S1874-5857(06)80029-4 10.1016/S0004-3702(97)00027-1 10.1093/mind/LX.237.1 10.1093/mind/LXVII.265.100 10.1016/B978-0-12-450010-5.50015-3 10.1111/papq.12044 10.1093/0195134613.001.0001 10.1016/S0743-1066(97)00026-5 10.1086/286873 10.1016/0004-3702(80)90014-4 10.26686/ajl.v4i0.1780 10.1016/j.artint.2004.04.006 10.1080/14640746808400161 10.1007/s11229-005-6196-z 10.1007/BF00370671 10.2307/796133 10.1007/s10588-006-9544-8 10.1007/BF00370670 10.1145/321978.321991 10.1007/BF00404830 10.1111/theo.12028 10.1023/A:1004748624537 10.1016/0004-3702(86)90032-9 10.2307/2026120 10.1016/S0004-3702(97)00015-5 10.1145/359131.359136 10.1016/0004-3702(88)90077-X 10.1002/9781118882139.ch10 10.1093/acprof:oso/9780199744077.001.0001 10.1007/3-540-44957-4_47 10.1111/j.1755-2567.1941.tb01039.x 10.1007/978-94-010-0387-2_4 10.1017/CBO9780511984747 10.1093/oso/9780198537922.003.0007 10.2307/2214372 10.3115/982023.982035 10.1007/BF00666538 10.1007/978-3-642-05082-4_1 10.1007/978-3-319-09870-8_2 10.1007/978-1-4684-3384-5_11
ContentType	Journal Article
Copyright	Springer Nature 2018 B.V. 2018 The Author(s) 2017 Journal of Philosophical Logic is a copyright of Springer, (2017). All Rights Reserved.
Copyright_xml	– notice: Springer Nature 2018 B.V. 2018 – notice: The Author(s) 2017 – notice: Journal of Philosophical Logic is a copyright of Springer, (2017). All Rights Reserved.
DBID	C6C AAYXX CITATION 3V. 7XB 8FK 8G5 AABKS ABSDQ ABUWG AFKRA AIMQZ AVQMV AZQEC BENPR CCPQU DWQXO GB0 GNUQQ GUQSH K50 LIQON M1D M2O MBDVC PADUT PEJEM PGAAH PHGZM PHGZT PKEHL PMKZF PQEST PQQKQ PQUKI PRINS Q9U
DOI	10.1007/s10992-017-9440-3
DatabaseName	Springer Nature OA Free Journals CrossRef ProQuest Central (Corporate) ProQuest Central (purchase pre-March 2016) ProQuest Central (Alumni) (purchase pre-March 2016) Research Library (Alumni) Philosophy Collection Philosophy Database ProQuest Central (Alumni) ProQuest Central UK/Ireland ProQuest One Literature Arts Premium Collection ProQuest Central Essentials ProQuest Central ProQuest One Community College ProQuest Central Korea DELNET Social Sciences & Humanities Collection ProQuest Central Student ProQuest Research Library Art, Design & Architecture Collection ProQuest One Literature - U.S. Customers Only Arts & Humanities Database Research Library Research Library (Corporate) Research Library China ProQuest One Visual Arts & Design One Religion & Philosophy ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest Digital Collections ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic
DatabaseTitle	CrossRef ProQuest DELNET Social Sciences and Humanities Collection Research Library Prep ProQuest Central Student ProQuest One Academic Middle East (New) ProQuest Central Essentials ProQuest Central (Alumni Edition) ProQuest One Community College Research Library (Alumni Edition) ProQuest Central China ProQuest One Religion & Philosophy Philosophy Collection ProQuest Central Arts Premium Collection ProQuest Central Korea ProQuest Research Library ProQuest Central (New) Research Library China ProQuest Art, Design and Architecture Collection ProQuest One Literature - U.S. Customers Only ProQuest Central Basic ProQuest One Literature ProQuest One Academic Eastern Edition ProQuest Digital Collections ProQuest One Academic UKI Edition ProQuest One Visual Arts & Design Arts & Humanities Full Text ProQuest One Academic ProQuest One Academic (New) ProQuest Central (Alumni) Philosophy Database
DatabaseTitleList	ProQuest DELNET Social Sciences and Humanities Collection
Database_xml	– sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Philosophy Education
EISSN	1573-0433
EndPage	609
ExternalDocumentID	10_1007_s10992_017_9440_3 44857536
GrantInformation_xml	– fundername: Imperial College London – fundername: Japanese Society for the Advancement of Science
GroupedDBID	--Z -DZ -~C .4H .86 .VR 06D 0R~ 0VY 199 1N0 203 29L 2J2 2JN 2JY 2KG 2KM 2LR 2N9 2~H 30V 4.4 406 408 409 40D 40E 5GY 67Z 6NX 78A 8G5 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AABKS AACDK AACJB AAHNG AAIAL AAJBT AAJKR AANZL AAPKM AARTL AASML AATNV AATVU AAUYE AAWBS AAWCG AAYIU AAYQN AAYZH ABAKD ABAKF ABBBX ABBHK ABBRH ABBXA ABDBE ABDBF ABDZT ABECU ABFSG ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABLJU ABMNI ABMQK ABNWP ABQBU ABSDQ ABSXP ABTEG ABTHY ABTKH ABTMW ABUWG ABWNU ABXPI ABXSQ ACAOD ACDTI ACGFS ACHSB ACHXU ACJZB ACKNC ACMDZ ACMLO ACNCT ACOKC ACOMO ACPIV ACREJ ACSTC ACZOJ ADHHG ADHIR ADHJG ADIMF ADKNI ADKPE ADMHG ADRFC ADTPH ADULT ADURQ ADYFF ADZKW AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AEOHA AEPYU AESKC AETLH AEUPB AEVLU AEXYK AEZWR AFBBN AFDZB AFHIU AFKRA AFLOW AFOHR AFQWF AFWTZ AFZKB AGAYW AGDGC AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHPBZ AHSBF AHWEU AHYZX AIAKS AIGIU AIIXL AIKPN AILAN AIMQZ AITGF AIXLP AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMVHM AMXSW AMYLF AMYQR AOCGG ARMRJ ASPBG ATHPR AVQMV AVWKF AXYYD AYFIA AYQZM AZFZN AZQEC B-. B0M BA0 BDATZ BENPR BGNMA BPHCQ BSONS CCPQU CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EAD EAP EAS EBLON EBS EHI EIOEI EJD EMK EPL ESBYG ESX FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GB0 GGCAI GGRSB GJIRD GNUQQ GNWQR GQ7 GQ8 GUQSH GXS H13 HF~ HG5 HG6 HMHOC HMJXF HQYDN HRMNR HVGLF I09 IHE IJ- IKXTQ IPSME ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JAAYA JBMMH JBSCW JCJTX JENOY JHFFW JKQEH JLEZI JLXEF JPL JST JZLTJ K50 KDC KOV LAK LIQON LLZTM M1D M2O M4Y MA- MLAFT N9A NB0 NPVJJ NQJWS NU0 O93 O9G O9I OAM P19 P2P P9Q PADUT PF- PHGZM PHGZT PMKZF PQQKQ PROAC PT4 PT5 QOK QOS R-Y R89 R9I RHV ROL RPX RSV S16 S27 S3B SA0 SAP SDA SDH SDM SHS SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TN5 TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WH7 WK8 YLTOR YQT Z45 ZMTXR ~8M ~EX -51 -5C -5G -BR -EM -Y2 1SB 2.D 28- 2P1 2VQ 3-Y 3V. 5QI 5VS AANTL AARHV AAYTO ABKTN ABQSL ABULA ACBXY ACEZS ACIOK ACYUM ADINQ AEBTG AEFIE AFEXP AFFNX AFGCZ AGGDS AHKAY AJBLW AKNXY ALPBS BBWZM BEMZW BIOZK C6C CAG COF ECVKH GQ6 HYQOX HZ~ H~9 JSODD KOW LPU MVM N2Q NDZJH O-F O-J O9- O9J OVD Q2X Q5E R4E RNI RZC RZD RZK S1Z S26 S28 SCLPG T16 TEORI UKR VXZ WK6 ZWUKE ~P2 ~P3 ~PS AAWJA AAYXX ABRTQ ABUFD ADHKG AFFHD AGQPQ CITATION PEJEM PGAAH PMFND PVKVW 7XB 8FK MBDVC PKEHL PQEST PQUKI PRINS Q9U
ID	FETCH-LOGICAL-c399t-2cb7f4fcede437f19a1eaa5d7e780b4308f93497328192c95e09e7701e4c5dab3
IEDL.DBID	M1D
ISICitedReferencesCount	6
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000438449400001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0022-3611
IngestDate	Wed Nov 05 04:08:04 EST 2025 Sat Nov 29 02:22:04 EST 2025 Fri Feb 21 02:28:17 EST 2025 Thu Jun 19 23:20:15 EDT 2025
IsDoiOpenAccess	true
IsOpenAccess	true
IsPeerReviewed	true
IsScholarly	true
Issue	4
Keywords	Abductive logic programming Contrary-to-duty obligations Normative conflicts Goals Preferences Deontic logic
Language	English
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c399t-2cb7f4fcede437f19a1eaa5d7e780b4308f93497328192c95e09e7701e4c5dab3
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
OpenAccessLink	https://link.springer.com/10.1007/s10992-017-9440-3
PQID	2068235879
PQPubID	36450
PageCount	31
ParticipantIDs	proquest_journals_2068235879 crossref_primary_10_1007_s10992_017_9440_3 springer_journals_10_1007_s10992_017_9440_3 jstor_primary_44857536
PublicationCentury	2000
PublicationDate	2018-08-01
PublicationDateYYYYMMDD	2018-08-01
PublicationDate_xml	– month: 08 year: 2018 text: 2018-08-01 day: 01
PublicationDecade	2010
PublicationPlace	Dordrecht
PublicationPlace_xml	– name: Dordrecht
PublicationSubtitle	Published under the Auspices of the Association for Symbolic Logic
PublicationTitle	Journal of philosophical logic
PublicationTitleAbbrev	J Philos Logic
PublicationYear	2018
Publisher	Springer Springer Netherlands Springer Nature B.V
Publisher_xml	– name: Springer – name: Springer Netherlands – name: Springer Nature B.V
References	Davis (CR14) 1980; 13 Van Fraassen (CR68) 1973; 70 Horty (CR32) 2014; 95 Reiter (CR57) 1980; 13 Hammond, Keeney, Raiffa (CR25) 1999 Thomson (CR65) 1985; 94 CR39 CR38 CR36 Poole (CR52) 1997; 94 CR34 Poole (CR51) 1988; 36 CR31 Wason (CR70) 1968; 20 Satoh, Aiba (CR60) 1993; 34 Nute (CR48) 1997 Thagard (CR64) 1996 Anderson, Rescher (CR3) 1966 Bondarenko, Dung, Kowalski, Toni (CR9) 1997; 93 Prakken (CR56) 1996; 57 Ross (CR58) 1941; 7 Goble (CR22) 1991; 64 CR6 CR5 CR7 Simon (CR63) 1972; 1 Fung, Kowalski (CR21) 1997; 33 CR49 Halpern, Vardi (CR24) 1991; 212 CR44 CR41 CR40 Makinson, Van Der Torre (CR43) 2000; 29 Meyer (CR47) 1988; 29 Prakken, Sergot (CR55) 1996; 57 Bohnert (CR8) 1945; 12 Jørgensen (CR33) 1937; 7 Van Benthem, Grossi, Liu (CR66) 2014; 80 Brewka, Benferhat, Le Berre (CR10) 2004; 157 Van Emden, Kowalski (CR17) 1976; 23 CR18 CR16 CR15 CR59 CR13 Horty (CR30) 2001 McNamara (CR46) 2006; 7 CR11 Horty (CR29) 1993; 9 CR54 CR53 Kowalski (CR37) 1979; 22 Chisholm (CR12) 1963; 24 Kanger, Hilpinen (CR35) 1971 Forrester (CR19) 1984; 81 Von Wright (CR69) 1951; 60 Kowalski, Sadri (CR42) 2016; 16 Governatori, Rotolo (CR23) 2006; 4 CR28 CR27 CR26 CR67 Anderson (CR2) 1958; 67 McCarthy (CR45) 1986; 28 Poole, Goebel, Aleliunas (CR50) 1987 CR62 CR61 Fox (CR20) 2015; 3 Alberti, Gavanelli, Lamma, Mello, Torroni, Sartor (CR1) 2006; 12 Asher, Bonevac (CR4) 2005; 145 M Alberti (9440_CR1) 2006; 12 B Van Fraassen (9440_CR68) 1973; 70 MH Van Emden (9440_CR17) 1976; 23 A Ross (9440_CR58) 1941; 7 AR Anderson (9440_CR3) 1966 9440_CR40 TH Fung (9440_CR21) 1997; 33 9440_CR41 9440_CR44 L Goble (9440_CR22) 1991; 64 (9440_CR48) 1997 9440_CR49 R Kowalski (9440_CR42) 2016; 16 GH Von Wright (9440_CR69) 1951; 60 M Davis (9440_CR14) 1980; 13 S Kanger (9440_CR35) 1971 JJ Thomson (9440_CR65) 1985; 94 AR Anderson (9440_CR2) 1958; 67 A Bondarenko (9440_CR9) 1997; 93 9440_CR7 9440_CR53 JW Forrester (9440_CR19) 1984; 81 9440_CR54 9440_CR11 JS Hammond (9440_CR25) 1999 9440_CR13 9440_CR15 9440_CR59 9440_CR16 D Makinson (9440_CR43) 2000; 29 9440_CR18 JF Horty (9440_CR30) 2001 JF Horty (9440_CR32) 2014; 95 R Kowalski (9440_CR37) 1979; 22 9440_CR6 9440_CR5 R Reiter (9440_CR57) 1980; 13 9440_CR61 9440_CR62 G Governatori (9440_CR23) 2006; 4 D Poole (9440_CR52) 1997; 94 9440_CR67 J Jørgensen (9440_CR33) 1937; 7 H Prakken (9440_CR55) 1996; 57 K Satoh (9440_CR60) 1993; 34 9440_CR26 JF Horty (9440_CR29) 1993; 9 9440_CR27 9440_CR28 N Asher (9440_CR4) 2005; 145 JJC Meyer (9440_CR47) 1988; 29 HA Simon (9440_CR63) 1972; 1 HG Bohnert (9440_CR8) 1945; 12 PC Wason (9440_CR70) 1968; 20 G Brewka (9440_CR10) 2004; 157 RM Chisholm (9440_CR12) 1963; 24 JY Halpern (9440_CR24) 1991; 212 P McNamara (9440_CR46) 2006; 7 P Thagard (9440_CR64) 1996 9440_CR31 D Poole (9440_CR50) 1987 9440_CR34 9440_CR36 D Poole (9440_CR51) 1988; 36 9440_CR38 H Prakken (9440_CR56) 1996; 57 C Fox (9440_CR20) 2015; 3 9440_CR39 J Van Benthem (9440_CR66) 2014; 80 J McCarthy (9440_CR45) 1986; 28
References_xml	– volume: 13 start-page: 73 issue: 1 year: 1980 end-page: 80 ident: CR14 article-title: The mathematics of non-monotonic reasoning publication-title: Artificial Intelligence doi: 10.1016/0004-3702(80)90013-2 – volume: 9 start-page: 69 issue: 1-2 year: 1993 end-page: 91 ident: CR29 article-title: Deontic logic as founded on nonmonotonic logic publication-title: Annals of Mathematics and Artificial Intelligence doi: 10.1007/BF01531262 – volume: 7 start-page: 53 year: 1941 end-page: 71 ident: CR58 article-title: Imperatives and logic publication-title: Theoria – ident: CR49 – ident: CR39 – ident: CR16 – volume: 29 start-page: 109 issue: 1 year: 1988 end-page: 136 ident: CR47 article-title: A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic publication-title: Notre Dame Journal of Formal Logic doi: 10.1305/ndjfl/1093637776 – volume: 70 start-page: 5 year: 1973 end-page: 19 ident: CR68 article-title: Values and the heart’s command publication-title: The Journal of Philosophy doi: 10.2307/2024762 – start-page: 36 year: 1971 end-page: 58 ident: CR35 article-title: New foundations for ethical theory publication-title: Deontic logic: introductory and systematic readings – volume: 16 start-page: 269 issue: 3 year: 2016 end-page: 295 ident: CR42 article-title: Programming in logic without logic programming publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068416000041 – ident: CR54 – ident: CR61 – volume: 24 start-page: 33 issue: 2 year: 1963 end-page: 36 ident: CR12 article-title: Contrary-to-duty imperatives and deontic logic publication-title: Analysis doi: 10.1093/analys/24.2.33 – volume: 7 start-page: 197 year: 2006 end-page: 289 ident: CR46 article-title: Deontic logic publication-title: Handbook of the History of Logic doi: 10.1016/S1874-5857(06)80029-4 – volume: 94 start-page: 7 issue: 1 year: 1997 end-page: 56 ident: CR52 article-title: The independent choice logic for modelling multiple agents under uncertainty publication-title: Artificial intelligence doi: 10.1016/S0004-3702(97)00027-1 – volume: 60 start-page: 1 issue: 237 year: 1951 end-page: 15 ident: CR69 article-title: Deontic logic publication-title: Mind doi: 10.1093/mind/LX.237.1 – volume: 67 start-page: 100 issue: 265 year: 1958 end-page: 103 ident: CR2 article-title: A reduction of deontic logic to alethic modal logic publication-title: Mind doi: 10.1093/mind/LXVII.265.100 – volume: 212 start-page: 151 year: 1991 end-page: 176 ident: CR24 article-title: Model checking vs. theorem proving: a manifesto publication-title: Artificial Intelligence and Mathematical Theory of Computation doi: 10.1016/B978-0-12-450010-5.50015-3 – ident: CR67 – ident: CR15 – volume: 95 start-page: 424 issue: 4 year: 2014 end-page: 460 ident: CR32 article-title: Deontic Modals: why abandon the classical semantics? publication-title: Pacific Philosophical Quarterly doi: 10.1111/papq.12044 – volume: 1 start-page: 161 issue: 1 year: 1972 end-page: 176 ident: CR63 article-title: Theories of bounded rationality publication-title: Decision and Organization – ident: CR11 – ident: CR36 – ident: CR5 – ident: CR26 – year: 2001 ident: CR30 publication-title: Agency and Deontic Logic doi: 10.1093/0195134613.001.0001 – volume: 33 start-page: 151 issue: 2 year: 1997 end-page: 165 ident: CR21 article-title: The IFF proof procedure for abductive logic programming publication-title: The Journal of logic programming doi: 10.1016/S0743-1066(97)00026-5 – volume: 7 start-page: 288 issue: 1 year: 1937 end-page: 296 ident: CR33 article-title: Imperatives and logic publication-title: Erkenntnis – volume: 12 start-page: 302 year: 1945 end-page: 315 ident: CR8 article-title: The semiotic status of commands publication-title: Philosophy of Science doi: 10.1086/286873 – volume: 13 start-page: 81 issue: 1 year: 1980 end-page: 132 ident: CR57 article-title: A logic for default reasoning publication-title: Artificial Intelligence doi: 10.1016/0004-3702(80)90014-4 – ident: CR18 – volume: 4 start-page: 193 year: 2006 end-page: 215 ident: CR23 article-title: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations publication-title: Australasian Journal of Logic doi: 10.26686/ajl.v4i0.1780 – volume: 157 start-page: 203 issue: 1 year: 2004 end-page: 237 ident: CR10 article-title: Qualitative choice logic publication-title: Artificial Intelligence doi: 10.1016/j.artint.2004.04.006 – volume: 20 start-page: 273 issue: 3 year: 1968 end-page: 281 ident: CR70 article-title: Reasoning about a rule publication-title: The Quarterly Journal of Experimental Psychology doi: 10.1080/14640746808400161 – ident: CR53 – volume: 145 start-page: 303 issue: 3 year: 2005 end-page: 323 ident: CR4 article-title: Free choice permission is strong permission publication-title: Synthese doi: 10.1007/s11229-005-6196-z – year: 1997 ident: CR48 publication-title: Defeasible deontic logic. Essays in Nonmonotonic Normative Reasoning – volume: 57 start-page: 91 issue: 1 year: 1996 end-page: 115 ident: CR55 article-title: Contrary-to-duty obligations publication-title: Studia Logica doi: 10.1007/BF00370671 – volume: 94 start-page: 6 year: 1985 ident: CR65 article-title: Double effect, triple effect and the trolley problem: squaring the circle in looping cases publication-title: Yale Law Journal doi: 10.2307/796133 – ident: CR6 – volume: 12 start-page: 205 issue: 2-3 year: 2006 end-page: 225 ident: CR1 article-title: Mapping deontic operators to abductive expectations publication-title: Computational & Mathematical Organization Theory doi: 10.1007/s10588-006-9544-8 – year: 1999 ident: CR25 publication-title: Smart choices: a practical guide to making better life choices – volume: 57 start-page: 73 issue: 1 year: 1996 end-page: 90 ident: CR56 article-title: Two approaches to the formalisation of defeasible deontic reasoning publication-title: Studia Logica doi: 10.1007/BF00370670 – ident: CR40 – volume: 23 start-page: 733 issue: 4 year: 1976 end-page: 742 ident: CR17 article-title: The semantics of predicate logic as a programming language publication-title: Journal of the ACM (JACM) doi: 10.1145/321978.321991 – ident: CR27 – volume: 64 start-page: 217 issue: 2 year: 1991 end-page: 227 ident: CR22 article-title: Murder most gentle: the paradox deepens publication-title: Philosophical Studies doi: 10.1007/BF00404830 – volume: 80 start-page: 116 issue: 2 year: 2014 end-page: 152 ident: CR66 article-title: Priority structures in deontic logic publication-title: Theoria doi: 10.1111/theo.12028 – volume: 29 start-page: 383 issue: 4 year: 2000 end-page: 408 ident: CR43 article-title: Input/output logics publication-title: Journal of Philosophical Logic doi: 10.1023/A:1004748624537 – ident: CR44 – year: 1966 ident: CR3 article-title: The formal analysis of normative systems publication-title: The Logic of Decision and Action – start-page: 331 year: 1987 end-page: 352 ident: CR50 publication-title: Theorist: a logical reasoning system for defaults and diagnosis – ident: CR38 – volume: 28 start-page: 89 issue: 1 year: 1986 end-page: 116 ident: CR45 article-title: Applications of circumscription to formalising common sense knowledge publication-title: Artificial Intelligence doi: 10.1016/0004-3702(86)90032-9 – ident: CR31 – ident: CR13 – volume: 81 start-page: 193 issue: 4 year: 1984 end-page: 197 ident: CR19 article-title: Gentle murder, or the adverbial Samaritan publication-title: Journal of Philosophy doi: 10.2307/2026120 – volume: 93 start-page: 63 issue: 1 year: 1997 end-page: 101 ident: CR9 article-title: An abstract, argumentation theoretic approach to default reasoning publication-title: Artificial Intelligence doi: 10.1016/S0004-3702(97)00015-5 – ident: CR34 – volume: 34 start-page: 1555 issue: 7 year: 1993 end-page: 1569 ident: CR60 article-title: Computing soft constraints by hierarchical constraint logic programming publication-title: Transactions of Information Processing Society of Japan – volume: 22 start-page: 424 issue: 7 year: 1979 end-page: 436 ident: CR37 article-title: Algorithm = logic + control publication-title: Communications of the ACM doi: 10.1145/359131.359136 – ident: CR7 – ident: CR59 – year: 1996 ident: CR64 publication-title: Mind: introduction to cognitive science – ident: CR28 – ident: CR41 – ident: CR62 – volume: 36 start-page: 27 issue: 1 year: 1988 end-page: 47 ident: CR51 article-title: A logical framework for default reasoning publication-title: Artificial intelligence doi: 10.1016/0004-3702(88)90077-X – volume: 3 start-page: 314 year: 2015 ident: CR20 article-title: The semantics of imperatives publication-title: The Handbook of Contemporary Semantic Theory doi: 10.1002/9781118882139.ch10 – ident: 9440_CR44 – ident: 9440_CR67 – ident: 9440_CR15 – ident: 9440_CR31 doi: 10.1093/acprof:oso/9780199744077.001.0001 – volume-title: Mind: introduction to cognitive science year: 1996 ident: 9440_CR64 – ident: 9440_CR5 – volume: 70 start-page: 5 year: 1973 ident: 9440_CR68 publication-title: The Journal of Philosophy doi: 10.2307/2024762 – volume-title: Agency and Deontic Logic year: 2001 ident: 9440_CR30 doi: 10.1093/0195134613.001.0001 – volume: 29 start-page: 109 issue: 1 year: 1988 ident: 9440_CR47 publication-title: Notre Dame Journal of Formal Logic doi: 10.1305/ndjfl/1093637776 – ident: 9440_CR16 doi: 10.1007/3-540-44957-4_47 – volume: 12 start-page: 302 year: 1945 ident: 9440_CR8 publication-title: Philosophy of Science doi: 10.1086/286873 – volume: 7 start-page: 53 year: 1941 ident: 9440_CR58 publication-title: Theoria doi: 10.1111/j.1755-2567.1941.tb01039.x – volume: 81 start-page: 193 issue: 4 year: 1984 ident: 9440_CR19 publication-title: Journal of Philosophy doi: 10.2307/2026120 – volume: 60 start-page: 1 issue: 237 year: 1951 ident: 9440_CR69 publication-title: Mind doi: 10.1093/mind/LX.237.1 – start-page: 36 volume-title: Deontic logic: introductory and systematic readings year: 1971 ident: 9440_CR35 – ident: 9440_CR11 doi: 10.1007/978-94-010-0387-2_4 – ident: 9440_CR18 – ident: 9440_CR49 – volume: 94 start-page: 6 year: 1985 ident: 9440_CR65 publication-title: Yale Law Journal doi: 10.2307/796133 – ident: 9440_CR53 – volume-title: Defeasible deontic logic. Essays in Nonmonotonic Normative Reasoning year: 1997 ident: 9440_CR48 – volume-title: Smart choices: a practical guide to making better life choices year: 1999 ident: 9440_CR25 – volume: 1 start-page: 161 issue: 1 year: 1972 ident: 9440_CR63 publication-title: Decision and Organization – ident: 9440_CR6 – ident: 9440_CR38 doi: 10.1017/CBO9780511984747 – volume: 33 start-page: 151 issue: 2 year: 1997 ident: 9440_CR21 publication-title: The Journal of logic programming doi: 10.1016/S0743-1066(97)00026-5 – volume: 23 start-page: 733 issue: 4 year: 1976 ident: 9440_CR17 publication-title: Journal of the ACM (JACM) doi: 10.1145/321978.321991 – volume: 34 start-page: 1555 issue: 7 year: 1993 ident: 9440_CR60 publication-title: Transactions of Information Processing Society of Japan – volume: 145 start-page: 303 issue: 3 year: 2005 ident: 9440_CR4 publication-title: Synthese doi: 10.1007/s11229-005-6196-z – ident: 9440_CR39 – start-page: 331 volume-title: Theorist: a logical reasoning system for defaults and diagnosis year: 1987 ident: 9440_CR50 – volume: 29 start-page: 383 issue: 4 year: 2000 ident: 9440_CR43 publication-title: Journal of Philosophical Logic doi: 10.1023/A:1004748624537 – volume-title: The Logic of Decision and Action year: 1966 ident: 9440_CR3 – volume: 80 start-page: 116 issue: 2 year: 2014 ident: 9440_CR66 publication-title: Theoria doi: 10.1111/theo.12028 – volume: 4 start-page: 193 year: 2006 ident: 9440_CR23 publication-title: Australasian Journal of Logic doi: 10.26686/ajl.v4i0.1780 – volume: 3 start-page: 314 year: 2015 ident: 9440_CR20 publication-title: The Handbook of Contemporary Semantic Theory doi: 10.1002/9781118882139.ch10 – ident: 9440_CR34 doi: 10.1093/oso/9780198537922.003.0007 – volume: 16 start-page: 269 issue: 3 year: 2016 ident: 9440_CR42 publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068416000041 – volume: 20 start-page: 273 issue: 3 year: 1968 ident: 9440_CR70 publication-title: The Quarterly Journal of Experimental Psychology doi: 10.1080/14640746808400161 – ident: 9440_CR26 doi: 10.2307/2214372 – ident: 9440_CR28 doi: 10.3115/982023.982035 – ident: 9440_CR27 – volume: 13 start-page: 73 issue: 1 year: 1980 ident: 9440_CR14 publication-title: Artificial Intelligence doi: 10.1016/0004-3702(80)90013-2 – volume: 57 start-page: 91 issue: 1 year: 1996 ident: 9440_CR55 publication-title: Studia Logica doi: 10.1007/BF00370671 – volume: 93 start-page: 63 issue: 1 year: 1997 ident: 9440_CR9 publication-title: Artificial Intelligence doi: 10.1016/S0004-3702(97)00015-5 – volume: 67 start-page: 100 issue: 265 year: 1958 ident: 9440_CR2 publication-title: Mind doi: 10.1093/mind/LXVII.265.100 – ident: 9440_CR7 – volume: 22 start-page: 424 issue: 7 year: 1979 ident: 9440_CR37 publication-title: Communications of the ACM doi: 10.1145/359131.359136 – volume: 64 start-page: 217 issue: 2 year: 1991 ident: 9440_CR22 publication-title: Philosophical Studies doi: 10.1007/BF00404830 – ident: 9440_CR59 – volume: 7 start-page: 288 issue: 1 year: 1937 ident: 9440_CR33 publication-title: Erkenntnis doi: 10.1007/BF00666538 – ident: 9440_CR36 – ident: 9440_CR62 – volume: 28 start-page: 89 issue: 1 year: 1986 ident: 9440_CR45 publication-title: Artificial Intelligence doi: 10.1016/0004-3702(86)90032-9 – volume: 157 start-page: 203 issue: 1 year: 2004 ident: 9440_CR10 publication-title: Artificial Intelligence doi: 10.1016/j.artint.2004.04.006 – volume: 24 start-page: 33 issue: 2 year: 1963 ident: 9440_CR12 publication-title: Analysis doi: 10.1093/analys/24.2.33 – volume: 9 start-page: 69 issue: 1-2 year: 1993 ident: 9440_CR29 publication-title: Annals of Mathematics and Artificial Intelligence doi: 10.1007/BF01531262 – volume: 94 start-page: 7 issue: 1 year: 1997 ident: 9440_CR52 publication-title: Artificial intelligence doi: 10.1016/S0004-3702(97)00027-1 – volume: 95 start-page: 424 issue: 4 year: 2014 ident: 9440_CR32 publication-title: Pacific Philosophical Quarterly doi: 10.1111/papq.12044 – volume: 57 start-page: 73 issue: 1 year: 1996 ident: 9440_CR56 publication-title: Studia Logica doi: 10.1007/BF00370670 – volume: 212 start-page: 151 year: 1991 ident: 9440_CR24 publication-title: Artificial Intelligence and Mathematical Theory of Computation doi: 10.1016/B978-0-12-450010-5.50015-3 – volume: 36 start-page: 27 issue: 1 year: 1988 ident: 9440_CR51 publication-title: Artificial intelligence doi: 10.1016/0004-3702(88)90077-X – volume: 12 start-page: 205 issue: 2-3 year: 2006 ident: 9440_CR1 publication-title: Computational & Mathematical Organization Theory doi: 10.1007/s10588-006-9544-8 – ident: 9440_CR40 doi: 10.1007/978-3-642-05082-4_1 – volume: 13 start-page: 81 issue: 1 year: 1980 ident: 9440_CR57 publication-title: Artificial Intelligence doi: 10.1016/0004-3702(80)90014-4 – ident: 9440_CR61 – ident: 9440_CR54 – volume: 7 start-page: 197 year: 2006 ident: 9440_CR46 publication-title: Handbook of the History of Logic doi: 10.1016/S1874-5857(06)80029-4 – ident: 9440_CR41 doi: 10.1007/978-3-319-09870-8_2 – ident: 9440_CR13 doi: 10.1007/978-1-4684-3384-5_11
SSID	ssj0008137
Score	2.2074275
Snippet	Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in...
SourceID	proquest crossref springer jstor
SourceType	Aggregation Database Index Database Publisher
StartPage	579
SubjectTerms	Cognition Education Logic Philosophy Reasoning Semantics
SummonAdditionalLinks	– databaseName: SpringerLINK Contemporary 1997-Present dbid: RSV link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELagMHThUagoFJQBCQkUyYmd2B4RojC1FQXULbIde4IUtQWJf8_FiftAMMDiJZeHPjl3n3Xf3SF0TlOZYmpEmNMYDiiE61BpKWBRFsKnTEwk3bAJ1u_z8VgM6zrumVe7-5Sk89QrxW5OKQleVZQJSbKJtiDa8XJew8PoeeF-uW-UWcrU0yjyqcyfHrEWjCo94hrT_JYcdTGnt_uvr91DOzXFDK6rPbGPNkzRKqcz10qOFmoO_fyCzwN0MVAvrs3GpAjkLBiAC3mFu-8msIxWSh8O0VPv9vHmPqynJ4QaSMc8jLVillptckMJs5GQkZEyyZlhHCtKMLeCUNesB1ieFonBwjCGI0N1kktF2qhRTApzhILYMmyBN0gVEWoV58LiWHFXeEssJR106WHM3qomGdmyHXIJRAZAZCUQGRi3HdALSzggAmckaQd1PfJZ_SPNshinvKzmZaKDrjzSy8u_vuX4T9YnqAlEiFfCvi5qzKfv5hRt6w9AeXrm9tcX-xzG9g priority: 102 providerName: Springer Nature
Title	Obligation as Optimal Goal Satisfaction
URI	https://www.jstor.org/stable/44857536 https://link.springer.com/article/10.1007/s10992-017-9440-3 https://www.proquest.com/docview/2068235879
Volume	47
WOSCitedRecordID	wos000438449400001&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: PRVPQU databaseName: Arts & Humanities Database customDbUrl: eissn: 1573-0433 dateEnd: 20241211 omitProxy: false ssIdentifier: ssj0008137 issn: 0022-3611 databaseCode: M1D dateStart: 19970201 isFulltext: true titleUrlDefault: https://search.proquest.com/artshumanities providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1573-0433 dateEnd: 20241211 omitProxy: false ssIdentifier: ssj0008137 issn: 0022-3611 databaseCode: BENPR dateStart: 19970201 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: Research Library customDbUrl: eissn: 1573-0433 dateEnd: 20241211 omitProxy: false ssIdentifier: ssj0008137 issn: 0022-3611 databaseCode: M2O dateStart: 19970201 isFulltext: true titleUrlDefault: https://search.proquest.com/pqrl providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1573-0433 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0008137 issn: 0022-3611 databaseCode: RSV dateStart: 19970101 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/eLvHCXMwpV07T8MwED5By8DCG1EoqAMSEihSEjuxPSEeBRbaigJii2zHnqApFJD495ydpAUkWFhuifPQZ-fus-8FsE9TmYbUiCCnMW5QCNeB0lKgUBbNp0xMJH2zCdbr8YcHMagO3CZVWGWtE72izgvtzshxk55yl9bJxPH4OXBdo5x3tWqhMQ9NZDbeTXsdnU81Ma9rZrqI9TSKaq9mmTrn4y5RRwvn3iTf7FIZmviNdP7wk3rzc7H83w9fgaWKeHZOypWyCnNmtAaLg7qTwcc6HPTVoy-4UYw6ctLpozJ5wjsuCxTDL0kQG3B30b09uwqqPgqBRvrxGsRaMUutNrmhhNlIyMhImeTMMB4qSkJuBaG-bA_yPS0SEwrDWBgZqpNcKrIJjVExMlvQiS0LLTIIqSJCreJc2DBW3KfgEktJCw5rFLNxWS4jmxVGdpBnCHnmIM9w8KbHeToSt4rIHknagnYNZVb9UpNshmMLjurJmF3-9S3bfz9sBxaRA_Eypq8NjdeXN7MLC_odYX3Zg-Zptze42fPrysm4j_JmeP8JigzRYw
linkProvider	ProQuest
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS8QwEB58gV58L67PHhRBKbRNtkkOIuIbdRVU8FaTNDnprro-8E_5G52kG1cFvXnwkkvTtORL59GZ-QZgmeYyT6gRcUkzdFAI17HSUuCgLKpP2TCp9M0mWLPJr67EWR-8hVoYl1YZZKIX1GVbu3_k6KTn3JV1MrF5dx-7rlEuuhpaaFTH4si8vqDL1tk43EF8V7Jsb_di-yDudhWINSrjxzjTillqtSkNJcymQqZGykbJDOOJoiThVhDqSWzQ-tGiYRJhGEtSQ3WjlIrguv0w6Hj1nLN3ku58SH4eODpdhnyepiGKWpXq-TxP1AnChVPJFz1YpUJ-MXK_xWW9utsb-28bNQ6jXcM62qq-hAnoM61JGDkLnRpep2D1VN14QpF2K5Kd6BSF5S3esd_G4fxTkcc0XP7Ji9ZgoNVumRmIMssSixaSVCmhVnEubJIp7kuMiaWkDmsBteKuogMpesTPDuICIS4cxAVOrnlcP2aiK4zWMcnrMB-gK7oio1P0cKvDegC_d_nHp8z-vtgSDB9cnBwXx4fNozkYQXuPV_mL8zDw-PBkFmBIP-MWPyz6sxzB9V-fiXeDnytG
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3NT9swFH_qWjT1sg-golvZchiaBIqWxG5sH6ZprO2GQKUaIPWW2Y59gra0bBP_Gn8dz0ncjkns1sMuvsRxIv9e3vs57wvgHU1lGlEjwpwmeEAhXIdKS4GDsmg-ZdfEsmg2wYZDPh6LUQ3ufC6MC6v0OrFQ1PlUu3_keEhPuUvrZOKDrcIiRr3Bp9l16DpIOU-rb6dRisixuf2Nx7fFx6MeYr2XJIP--ZdvYdVhINRomG_CRCtmqdUmN5QwGwsZGym7OTOMR4qSiFtBaFHQBpmQFl0TCcNYFBuqu7lUBNd9Ag2GJIPWoXHYH46-L-0A9xU7Xbx8Gsfep1om7hVRn2ghhHOukgdWsQyMfEB5__LSFsZv8Px_3rYX8Kyi3MHn8ht5CTUz2YTmyPdwuN2C96fqsig1Mp0EchGcohq9wju-TnE4-yP9Yxsu1vKiLahPphOzA0FiWWSRO0kVE2oV58JGieJF8jGxlLRh3yOYzcpCIdmqJLSDO0O4Mwd3hpNbBcbLmXhIRt5M0jZ0PIxZpUwW2QrDNhx4QVhdfvQpr_692Ft4iqKQnRwNj19DE4kgLwMbO1C_mf80u7Chf-EOz99Ugh3Aj3ULxT1uxzV4
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=Obligation+as+Optimal+Goal+Satisfaction&rft.jtitle=Journal+of+philosophical+logic&rft.au=Kowalski%2C+Robert&rft.au=Satoh%2C+Ken&rft.date=2018-08-01&rft.pub=Springer&rft.issn=0022-3611&rft.eissn=1573-0433&rft.volume=47&rft.issue=4&rft.spage=579&rft.epage=609&rft_id=info:doi/10.1007%2Fs10992-017-9440-3&rft.externalDocID=44857536
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0022-3611&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0022-3611&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0022-3611&client=summon