Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T06:08:24.435865Z
Paper Citation Record · LEDGER
Swap Kripke models for deontic LFIs
As of 21 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2506.06181.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
22 of 22 outbound references displayed
- verified exact0
- verified fuzzy19
- unresolved3
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation ab9b9335-0cd0-4e12-9d5f-54f6dbf7fa52 · outbound
This paper cites Non-deterministic semantics for logics with a consistency operator.International Journal of Approximate Reasoning, 45:271–287, 07 2007.
Swap Kripke models for deontic LFIs Non-deterministic semantics for logics with a consistency operator.International Journal of Approximate Reasoning, 45:271–287, 07 2007
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:27.875406Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 3550c922-fc2e-4082-90c9-2424dcb644ea · outbound
This paper cites A completeness-proof method for extensions of the implica- tional fragment of the propositional calculus.Notre Dame Journal of Formal Logic, 21(3):509 – 517, 1980.
Swap Kripke models for deontic LFIs A completeness-proof method for extensions of the implica- tional fragment of the propositional calculus.Notre Dame Journal of Formal Logic, 21(3):509 – 517, 1980
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:27.643652Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 74035212-5196-4faa-8503-016d77e893e4 · outbound
This paper cites Paraconsistent extensional propositional logics.Logique et Analyse, 23(90/91):195–234, 1980.
Swap Kripke models for deontic LFIs Paraconsistent extensional propositional logics.Logique et Analyse, 23(90/91):195–234, 1980
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:27.480899Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 0929dd53-c03e-4169-b47d-45fc0879babd · outbound
This paper cites A paraconsistent multi-agent frame- work for dealing with normative conflicts.
Swap Kripke models for deontic LFIs A paraconsistent multi-agent frame- work for dealing with normative conflicts
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:27.343286Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 4f4bfc06-6670-44a1-9d14-3c381b408d03 · outbound
This paper cites Two semantical approaches to paraconsistent modali- ties.Logica Universalis, 4(1):137–160, 03 2010.
Swap Kripke models for deontic LFIs Two semantical approaches to paraconsistent modali- ties.Logica Universalis, 4(1):137–160, 03 2010
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:27.182365Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation c1b75538-6689-498b-975e-1219455eef0d · outbound
This paper cites Coniglio.Paraconsistent Logic: Consis- tency, Contradiction and Negation.
Swap Kripke models for deontic LFIs Coniglio.Paraconsistent Logic: Consis- tency, Contradiction and Negation
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:26.975632Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 4d36a12d-98e8-4fd1-a1b3-cf25e3eab589 · outbound
This paper cites Coniglio, and João Marcos.
Swap Kripke models for deontic LFIs Coniglio, and João Marcos
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:26.830739Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 212a228a-3314-46a1-8919-b7f3d2405ded · outbound
This paper cites Coniglio, Luis Fariñas del Cerro, and Newton M.
Swap Kripke models for deontic LFIs Coniglio, Luis Fariñas del Cerro, and Newton M
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:26.660285Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a54db55b-ea3f-429b-9f17-de4c0e967cdd · outbound
This paper cites Coniglio and Ana Claudia Golzio.
Swap Kripke models for deontic LFIs Coniglio and Ana Claudia Golzio
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:26.537341Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 50dca482-0b25-4e4f-9338-51b68fff1489 · outbound
This paper cites Coniglio, Paweł Pawłowski, and Daniel Skurt.
Swap Kripke models for deontic LFIs Coniglio, Paweł Pawłowski, and Daniel Skurt
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:26.383732Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 9e5b98e7-9857-4a14-b839-acd974e18ad6 · outbound
This paper cites Coniglio and Guilherme V.
Swap Kripke models for deontic LFIs Coniglio and Guilherme V
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:26.235009Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e0f9e6c4-6e43-42b1-a2aa-d2dace182347 · outbound
This paper cites Logics of deontic inconsistency.Revista Brasileira de Filosofia, 233:162–186, 2009.
Swap Kripke models for deontic LFIs Logics of deontic inconsistency.Revista Brasileira de Filosofia, 233:162–186, 2009
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:26.071985Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation cd430570-1c68-411d-a63c-c7a69be01ded · outbound
This paper cites A paraconsistentist approach to Chisholm’s Paradox.Principia: An International Journal of Epistemology, 13(3):299–326, 2009.
Swap Kripke models for deontic LFIs A paraconsistentist approach to Chisholm’s Paradox.Principia: An International Journal of Epistemology, 13(3):299–326, 2009
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:25.922151Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation ef04dae7-8017-4342-8ff5-6e7f4d25d8b7 · outbound
This paper cites an unresolved cited work.
Swap Kripke models for deontic LFIs Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T06:08:25.763924Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation d5ee95d2-9ee2-4cf9-9183-37d026c6a649 · outbound
This paper cites Truth tables for modal logics T and S4, by using three- valued non-deterministic level semantics.Journal of Logic and Computation, 32(1):129–157, 12 2021.
Swap Kripke models for deontic LFIs Truth tables for modal logics T and S4, by using three- valued non-deterministic level semantics.Journal of Logic and Computation, 32(1):129–157, 12 2021
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:25.605524Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 62161660-fa1a-4725-bd65-6573ac6535ea · outbound
This paper cites Coniglio.
Swap Kripke models for deontic LFIs Coniglio
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:25.493188Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 4eb0436a-d21a-4c1a-b1f1-febeb49fe516 · outbound
This paper cites Phd thesis, University of Minnesota, De- cember 2007.
Swap Kripke models for deontic LFIs Phd thesis, University of Minnesota, De- cember 2007
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:25.379605Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 418b3039-89e7-4aa7-98dd-a8ccaeb9d426 · outbound
This paper cites More modal semantics without possible worlds.IFCoLog Journal of Logic and its Applications, 3(5), October 2016.
Swap Kripke models for deontic LFIs More modal semantics without possible worlds.IFCoLog Journal of Logic and its Applications, 3(5), October 2016
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:25.162053Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 90065c97-9b44-4429-bb05-ebd4095ad6e0 · outbound
This paper cites an unresolved cited work.
Swap Kripke models for deontic LFIs Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T06:08:24.950419Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 36f456b7-2d99-476e-aac6-a483c96f6dca · outbound
This paper cites Peron and Marcelo Esteban Coniglio.
Swap Kripke models for deontic LFIs Peron and Marcelo Esteban Coniglio
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:24.759965Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 51d089c2-4bda-482c-b847-8d63bd8245f4 · outbound
This paper cites Modeling deontic inconsistencies in moral dilemmas.Perspectiva Filosófica, forthcoming.
Swap Kripke models for deontic LFIs Modeling deontic inconsistencies in moral dilemmas.Perspectiva Filosófica, forthcoming
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T06:08:24.604128Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation d7c20df9-b6f0-458f-82f5-9e8966dc9bde · outbound
This paper cites an unresolved cited work.
Swap Kripke models for deontic LFIs Unresolved cited work
Reference 2011
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:08:22.507868Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.