Paper Citation Record · LEDGER

Modeling Deontic Modal Logic in ASP

As of 23 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2507.05519.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.05519 v10

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T19:36:29.980650Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

44 of 44 outbound references displayed

verified exact17
verified fuzzy16
unresolved11
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1fb8020d-9177-4a30-8faa-3b7e09486ee9 · outbound

This paper cites an unresolved cited work.

Modeling Deontic Modal Logic in ASP Unresolved cited work

Reference 1

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.310436Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d2972814-c729-41fd-a634-f3b63132411e · outbound

This paper cites Andreson (1958):A Reduction of Deontic Logic to Alethic Modal Logic.Mind67, pp.

Modeling Deontic Modal Logic in ASP Andreson (1958):A Reduction of Deontic Logic to Alethic Modal Logic.Mind67, pp

Reference 2

Resolution: verified exact; raw_fallback, observed 2026-08-06T19:36:30.463132Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3e42563d-7db2-4640-b02c-af54e8d69776 · outbound

This paper cites of Logic Program.18(3-4), pp.

Modeling Deontic Modal Logic in ASP of Logic Program.18(3-4), pp

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T19:36:29.795088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a2e5d09-d597-48a0-996f-da8f6f22efbe · outbound

This paper cites Cambridge University Press.

Modeling Deontic Modal Logic in ASP Cambridge University Press

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.848691Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 6d874fd6-4bf7-48d6-8363-23178c7e0e4e · outbound

This paper cites an unresolved cited work.

Modeling Deontic Modal Logic in ASP Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T19:36:29.805675Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fc82b55-fa08-473e-81da-0c8294154938 · outbound

This paper cites an unresolved cited work.

Modeling Deontic Modal Logic in ASP Unresolved cited work

Reference 6

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.283900Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0f034ca3-d8a3-4d4b-8556-73a5ae678cd0 · outbound

This paper cites 775–791, doi:10.2307/2025929.

Modeling Deontic Modal Logic in ASP 775–791, doi:10.2307/2025929

Reference 7

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.267931Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 20907c2d-bf81-4e87-935a-2898b0ebd59f · outbound

This paper cites Van Eck (1982):A System of Temporally Relative Modal and Deontic Predicate Logic and its Philosoph- ical Applications.Logique Et Analyse25(n/a), p.

Modeling Deontic Modal Logic in ASP Van Eck (1982):A System of Temporally Relative Modal and Deontic Predicate Logic and its Philosoph- ical Applications.Logique Et Analyse25(n/a), p

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.834449Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 664c5394-c123-436b-90d5-22023ff80856 · outbound

This paper cites In:The Stanford Encyclopedia of Philosophy.

Modeling Deontic Modal Logic in ASP In:The Stanford Encyclopedia of Philosophy

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.818963Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8cbd44a1-713e-4c45-96aa-78535334b2b6 · outbound

This paper cites Cambridge University Press, doi:10.1017/CBO9781139342124.

Modeling Deontic Modal Logic in ASP Cambridge University Press, doi:10.1017/CBO9781139342124

Reference 10

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.252026Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8b05bfac-5252-42c8-a18d-7554eeaa25c1 · outbound

This paper cites 79–88, doi:10.1007/s13218-024-00854-9.

Modeling Deontic Modal Logic in ASP 79–88, doi:10.1007/s13218-024-00854-9

Reference 11

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.236917Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 06ffd75d-b127-41bc-b1d8-8e9b4d1d434c · outbound

This paper cites Gupta, E.

Modeling Deontic Modal Logic in ASP Gupta, E

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.804149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 10f1ca06-4018-40d2-8d68-9e69f9ea31ea · outbound

This paper cites 121–147, doi:10.1007/978-94-010-3146-2_5.

Modeling Deontic Modal Logic in ASP 121–147, doi:10.1007/978-94-010-3146-2_5

Reference 13

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.221574Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 61a4d32e-8730-4ac5-bb76-7e02e7e490c5 · outbound

This paper cites an unresolved cited work.

Modeling Deontic Modal Logic in ASP Unresolved cited work

Reference 14

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.204329Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 06d730a7-6cd1-449a-9f59-d6abf65c99a7 · outbound

This paper cites Dordrecht: D.Reidel, doi:10.1007/978-94-009-8484-4.

Modeling Deontic Modal Logic in ASP Dordrecht: D.Reidel, doi:10.1007/978-94-009-8484-4

Reference 15

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.184232Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 08440792-51f1-4a55-8907-79301f042361 · outbound

This paper cites an unresolved cited work.

Modeling Deontic Modal Logic in ASP Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:36:30.789192Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 36b94cea-2f19-4e86-ae34-14bc6c194038 · outbound

This paper cites Horty (1993):Deontic Logic as Founded on Nonmonotonic Logic.Ann.

Modeling Deontic Modal Logic in ASP Horty (1993):Deontic Logic as Founded on Nonmonotonic Logic.Ann

Reference 17

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.165400Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 90adfcf2-20b0-48a6-a235-3956ab63f976 · outbound

This paper cites Jørgensen (1937):Imperatives and logic.Erkenntnis7(1), pp.

Modeling Deontic Modal Logic in ASP Jørgensen (1937):Imperatives and logic.Erkenntnis7(1), pp

Reference 18

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.147331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 9f8c15f2-cb61-43aa-bdf0-7c884b197145 · outbound

This paper cites an unresolved cited work.

Modeling Deontic Modal Logic in ASP Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.126586Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 1c206d24-b125-4766-864b-a9e5c12aa782 · outbound

This paper cites Kowalski (2017):Satisfiability for First-order Logic as a Non-Modal Deontic Logic.

Modeling Deontic Modal Logic in ASP Kowalski (2017):Satisfiability for First-order Logic as a Non-Modal Deontic Logic

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.774595Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 2444b740-a3df-488a-8736-b5a32d1b5d26 · outbound

This paper cites Kowalski & Ken Satoh (2018):Obligation as Optimal Goal Satisfaction.J.

Modeling Deontic Modal Logic in ASP Kowalski & Ken Satoh (2018):Obligation as Optimal Goal Satisfaction.J

Reference 21

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.108979Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b63c63ff-64db-473d-b235-ae13711aa287 · outbound

This paper cites Norms, Logics and Information Systems, pp.

Modeling Deontic Modal Logic in ASP Norms, Logics and Information Systems, pp

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.759534Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f56a98bf-9543-4eac-9d64-e6f3aaa3e2a5 · outbound

This paper cites In:The Stanford Encyclopedia of Philoso- phy, Fall 2010 edition, Metaphysics Research Lab, Stanford University.

Modeling Deontic Modal Logic in ASP In:The Stanford Encyclopedia of Philoso- phy, Fall 2010 edition, Metaphysics Research Lab, Stanford University

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.744199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f12f01ce-3715-4766-a845-ea9644daaea2 · outbound

This paper cites In:The Stanford Encyclopedia of Philosophy, Fall 2017 edition, Metaphysics Research Lab, Stanford University.

Modeling Deontic Modal Logic in ASP In:The Stanford Encyclopedia of Philosophy, Fall 2017 edition, Metaphysics Research Lab, Stanford University

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.727463Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 36a43f60-8b68-49fc-b2a6-e053b08f1ce2 · outbound

This paper cites In:The Stanford Encyclopedia of Philosophy, Fall 2022 edition, Metaphysics Research Lab, Stanford University.

Modeling Deontic Modal Logic in ASP In:The Stanford Encyclopedia of Philosophy, Fall 2022 edition, Metaphysics Research Lab, Stanford University

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.711149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f91a9b0e-32af-4361-b423-8740f87d5955 · outbound

This paper cites 91–115, doi:10.1007/BF00370671.

Modeling Deontic Modal Logic in ASP 91–115, doi:10.1007/BF00370671

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T19:36:29.898690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6cc85067-43dc-41f2-89b4-24ea0105a49d · outbound

This paper cites In Donald Nute, editor:Defeasible Deontic Logic, Springer, pp.

Modeling Deontic Modal Logic in ASP In Donald Nute, editor:Defeasible Deontic Logic, Springer, pp

Reference 27

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.079562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 010131b8-f06e-42ad-b221-cef582dc051f · outbound

This paper cites 1247–1282, doi:10.1007/s11406-018-0036-0.

Modeling Deontic Modal Logic in ASP 1247–1282, doi:10.1007/s11406-018-0036-0

Reference 28

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.062019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation aca3c047-8f8e-462b-8b4f-829604d16808 · outbound

This paper cites In:Internat Encyclopedia of Philosophy.

Modeling Deontic Modal Logic in ASP In:Internat Encyclopedia of Philosophy

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.693714Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0f4c61a5-43e4-4f7a-a8d5-ce4985d540fc · outbound

This paper cites 61–80, doi:10.1007/978-3-319-00792-2_12.

Modeling Deontic Modal Logic in ASP 61–80, doi:10.1007/978-3-319-00792-2_12

Reference 30

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.046314Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7377469d-fb02-40eb-a33e-99e5be7e9a36 · outbound

This paper cites Thomason (1981):Deontic Logic as Founded on Tense Logic.New Studies in Deontic Logic, pp.

Modeling Deontic Modal Logic in ASP Thomason (1981):Deontic Logic as Founded on Tense Logic.New Studies in Deontic Logic, pp

Reference 31

Resolution: verified exact; doi, observed 2026-08-06T19:36:30.025192Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a4476a1c-de1c-4752-8d16-06666a7ab7d5 · outbound

This paper cites an unresolved cited work.

Modeling Deontic Modal Logic in ASP Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:36:30.676067Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b42a641f-c19d-4d77-95f8-2df28c48509a · outbound

This paper cites an unresolved cited work.

Modeling Deontic Modal Logic in ASP Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:36:30.659619Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e42e8ee3-b089-46af-96ad-dc22cebce7c8 · outbound

This paper cites Then he ought to kill him gently.

Modeling Deontic Modal Logic in ASP Then he ought to kill him gently

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.641360Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation bc86b606-84a1-4d9d-94b7-32d62ad3870c · outbound

This paper cites an unresolved cited work.

Modeling Deontic Modal Logic in ASP Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:36:30.624922Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ed886b5a-733e-4f57-9cbd-6ab8dce7891c · outbound

This paper cites an unresolved cited work.

Modeling Deontic Modal Logic in ASP Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:36:30.609480Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7815f3b8-bae0-4df1-a6fa-bc67a69c10f4 · outbound

This paper cites i.e.¬(join∧stay).

Modeling Deontic Modal Logic in ASP i.e.¬(join∧stay)

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.594454Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 2e064ca5-8ecf-4d42-940f-5eac9f7eaf4e · outbound

This paper cites an unresolved cited work.

Modeling Deontic Modal Logic in ASP Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:36:30.577740Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 92739fad-0063-41ac-bff1-aab2e9164ec2 · outbound

This paper cites encoded as: /external-link-alt 1broke :- not pay, not broke.

Modeling Deontic Modal Logic in ASP encoded as: /external-link-alt 1broke :- not pay, not broke

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.561073Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b00afeba-8520-43f9-b50c-c8e401bb989e · outbound

This paper cites an unresolved cited work.

Modeling Deontic Modal Logic in ASP Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:36:30.543611Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 891bb773-313e-471c-9bf1-3815a179d4dd · outbound

This paper cites an unresolved cited work.

Modeling Deontic Modal Logic in ASP Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-06T19:36:30.527530Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e1bae28f-19d8-4ef4-9b72-b9a7e0923187 · outbound

This paper cites This is encoded as:.

Modeling Deontic Modal Logic in ASP This is encoded as:

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.511762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation bffd37a0-d52d-4ebf-8964-cda63e386469 · outbound

This paper cites to mail a letter, we post it.

Modeling Deontic Modal Logic in ASP to mail a letter, we post it

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.495217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 35ca018e-052b-495e-99a7-bf893132c323 · outbound

This paper cites Justifications for goal-directed constraint answer set programming.

Modeling Deontic Modal Logic in ASP Justifications for goal-directed constraint answer set programming

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:36:30.479074Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Pith citing papers

No inbound Pith citation observations are available.