Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-04T21:17:06.220523Z
Paper Citation Record · LEDGER
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
As of 12 August 2026, this Paper Citation Record lists 74 of 74 outbound references and 1 inbound Pith citation observation for arXiv:2509.08165.
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-12T06:34:41.77262+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-02T19:01:09.151113Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-05T02:28:24.338817Z
Reference resolution
74 of 74 outbound references displayed
- verified exact0
- verified fuzzy58
- unresolved16
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
0
pith, observed 2026-08-05T02:28:24.338817Z
Outbound references
Observation f3c62e8c-5a5e-48fb-9b15-2fa67e6a64e7 · outbound
This paper cites Börger, E.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Börger, E
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:07.308900Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ffa107ba-b3e7-46db-830f-5d3e2a28ebe7 · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:07.296124Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 6e88163d-f1a9-44b2-8f3c-6b8d536806e7 · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:07.283588Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 7528cf88-bf54-410b-a906-dd016c372710 · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:07.270832Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 989b0daf-216f-4782-8a95-c69d015f1381 · outbound
This paper cites Braüner, S.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Braüner, S
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:07.258374Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 039e074f-8f7f-4659-bf38-42f09a013237 · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:07.146101Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 70609b21-6845-47c4-a9a6-e492df293983 · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:07.133663Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 5daa1a13-0493-4a00-ae3e-e905cc93dab1 · outbound
This paper cites Pratt-Hartmann, Fragments of first-order logic, Vol.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Pratt-Hartmann, Fragments of first-order logic, Vol
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:07.121169Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f4a721f8-2173-40f9-8549-a9a9cf90b3f7 · outbound
This paper cites Wolter, M.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Wolter, M
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:07.107554Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 83fbdd82-de1d-4e2c-acdc-2d5cdbd28aff · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:07.095564Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation cb0fe2cf-d9b7-48ab-9d35-b524461448c7 · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:07.082761Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 235487b8-cbcf-44b6-81a2-af339b011a3a · outbound
This paper cites Degtyarev, M.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Degtyarev, M
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:07.069731Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c2157b8f-85f7-4737-80b8-ee73bc779877 · outbound
This paper cites Hampson, A.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Hampson, A
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:07.057006Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ae11137a-f576-419e-9005-0f4b1b42c5d7 · outbound
This paper cites Hampson, A.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Hampson, A
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:07.043965Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 481eff81-61d0-40d6-aafb-42e4727fcb9d · outbound
This paper cites Linsky (Ed.), Reference and Modality, Oxford University Press, 1971.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Linsky (Ed.), Reference and Modality, Oxford University Press, 1971
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:07.031076Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation fc13775f-af77-4e2d-afb8-879eb59e71b0 · outbound
This paper cites LaPorte, Rigid designation and theoretical identities, Oxford University Press, 2012.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions LaPorte, Rigid designation and theoretical identities, Oxford University Press, 2012
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:07.018344Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 316890c5-53a3-4961-b643-f2bc00656acd · outbound
This paper cites Martí, Reference and theories of reference, in: The Cambridge Hand- book of the Philosophy of Language, Cambridge University Press, 2021, pp.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Martí, Reference and theories of reference, in: The Cambridge Hand- book of the Philosophy of Language, Cambridge University Press, 2021, pp
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:07.004959Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation dc41fbd9-b98a-4f0a-ac9c-815e13531124 · outbound
This paper cites Kürbis, A binary quantifier for definite descriptions for cut free free logics, Studia Logica 110 (1) (2022) 219–239.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Kürbis, A binary quantifier for definite descriptions for cut free free logics, Studia Logica 110 (1) (2022) 219–239
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.991448Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0d40b7e9-5314-4f27-b19f-a770b94bfc9f · outbound
This paper cites Indrzejczak, Russellian definite description theory — a proof theoretic approach, Rev.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Indrzejczak, Russellian definite description theory — a proof theoretic approach, Rev
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.976810Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation d3414a30-86ac-4f87-888c-36298203d0bd · outbound
This paper cites Petrukhin, A binary quantifier for definite descriptions in Nelsonian free logic, in: Proc.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Petrukhin, A binary quantifier for definite descriptions in Nelsonian free logic, in: Proc
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.963336Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ef6eb4a4-aa3b-4a9b-b31d-90035f5635eb · outbound
This paper cites Artale, A.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Artale, A
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.950102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation d61ecfa7-220e-438d-bfdd-f3ff0d90a669 · outbound
This paper cites Neuhaus, O.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Neuhaus, O
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.937384Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 38ecbeb2-be03-4c95-ac05-caa8d4e25fa8 · outbound
This paper cites Artale, A.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Artale, A
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.925734Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation edee48bd-9c17-4e08-9a8e-a1875506ca90 · outbound
This paper cites Indrzejczak, Existence, definedness and definite descriptions in hybrid modal logic, in: Proc.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Indrzejczak, Existence, definedness and definite descriptions in hybrid modal logic, in: Proc
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.913003Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 9578d7e0-5ee9-4197-9b2e-bb308cea4415 · outbound
This paper cites Orlandelli, Labelled calculi for quantified modal logics with definite de- scriptions, J.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Orlandelli, Labelled calculi for quantified modal logics with definite de- scriptions, J
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.899810Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 6c285071-eda5-44e6-862f-495a683e13ed · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:06.886274Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 13465496-bb8a-400d-a244-757ac95956de · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:06.872784Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a7a97cee-88d0-47c0-8994-39bee0afc886 · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:06.859872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b435da6e-4958-494c-a504-286560d10293 · outbound
This paper cites Lomuscio, M.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Lomuscio, M
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.847391Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0e6a5fdd-c291-4e51-880b-cb44e042211f · outbound
This paper cites Belardinelli, A.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Belardinelli, A
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.834908Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation e840fe6c-dda9-4650-9393-c8642dd2b9ef · outbound
This paper cites Wolter, First order common knowledge logics, Studia Logica 65 (2) (2000) 249–271.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Wolter, First order common knowledge logics, Studia Logica 65 (2) (2000) 249–271
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.821989Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 271817ca-d637-4d81-871e-473cb72de8b4 · outbound
This paper cites An EATCS Series, Springer, 2008.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions An EATCS Series, Springer, 2008
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.808706Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 2b6dac57-9159-4a4b-a1ce-12c254b3c6ad · outbound
This paper cites Indrzejczak, M.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Indrzejczak, M
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.796045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation bd09ec81-6743-44b7-9a26-4d3db1ae6459 · outbound
This paper cites Geatti, A.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Geatti, A
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.783534Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation aac7cc45-98e6-4c95-8a23-0040adf3ebf2 · outbound
This paper cites of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS’97), IEEE Computer Society, 1997, pp.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS’97), IEEE Computer Society, 1997, pp
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.771263Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 3ed1a881-66a7-4952-85f2-6db5db81dfc0 · outbound
This paper cites Pratt-Hartmann, Complexity of the two-variable fragment with counting quantifiers, J.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Pratt-Hartmann, Complexity of the two-variable fragment with counting quantifiers, J
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.758202Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation cdf08bee-1411-4f46-be96-bb0b1e87531b · outbound
This paper cites Pratt-Hartmann, Data-complexity of the two-variable fragment with counting quantifiers, Inf.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Pratt-Hartmann, Data-complexity of the two-variable fragment with counting quantifiers, Inf
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.745337Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 74036bb9-8454-4086-a0e2-09f13019dd12 · outbound
This paper cites Andréka, I.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Andréka, I
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.732310Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 2fe9268c-62e8-4331-aef5-548048b6c0c4 · outbound
This paper cites Grädel, On the restraining power of guards, J.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Grädel, On the restraining power of guards, J
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.720115Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a566a138-40de-4973-8a41-76377851c508 · outbound
This paper cites Bárány, G.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Bárány, G
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.707398Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 70d9be41-03f6-4925-aa80-25bfc8edaf0a · outbound
This paper cites Artale, R.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Artale, R
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.694495Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c134f6be-a532-402f-ad25-7a2cef443879 · outbound
This paper cites Artale, R.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Artale, R
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.682453Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 3f55c59e-e29a-4bd7-811c-d83314ed7a1f · outbound
This paper cites Fitting, R.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Fitting, R
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.670096Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0a8d85e3-0438-4548-ae02-7173032c8147 · outbound
This paper cites Marx, Complexity of products of modal logics, J.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Marx, Complexity of products of modal logics, J
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.657901Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f4a62e7b-9f2b-4a87-b7e6-c94b6759ea6e · outbound
This paper cites Gabelaia, A.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Gabelaia, A
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.645476Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 98ae67a3-c00b-4272-a044-600f852b220d · outbound
This paper cites Hampson, Decidable first-order modal logics with counting quantifiers, in: Proc.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Hampson, Decidable first-order modal logics with counting quantifiers, in: Proc
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.632338Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ec30bd87-646b-4c24-904b-017497da3942 · outbound
This paper cites Gargov, V.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Gargov, V
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.619927Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4781b520-fce3-4478-ab68-20608733f7c2 · outbound
This paper cites Lasaruk, T.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Lasaruk, T
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.607269Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 536d4c22-7526-4d36-a028-fc9c791d4193 · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:06.593546Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c03d0fdc-9cdb-4f6b-a22c-45e3a75bed0d · outbound
This paper cites Schmitz, P.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Schmitz, P
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.581001Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation aadec918-868d-43f2-867c-406b4b4d0bde · outbound
This paper cites Figueira, S.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Figueira, S
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.567849Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 11203c59-52fc-476b-a811-68f6668e4d20 · outbound
This paper cites Spaan, Complexity of modal logics, Ph.D.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Spaan, Complexity of modal logics, Ph.D
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.554521Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 3a72af50-b647-400d-a346-d0f3c551e966 · outbound
This paper cites Blackburn, M.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Blackburn, M
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.541107Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 786a36c7-de1b-4514-8d7f-6e6272a77c32 · outbound
This paper cites Degtyarev, M.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Degtyarev, M
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.526663Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 2a48531e-e9de-4ead-9a56-e4bbb93ceaa7 · outbound
This paper cites Kourtis, C.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Kourtis, C
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.513124Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ccf51d8b-4fef-41df-8f35-60feae4d69da · outbound
This paper cites Semantic properties, decidable fragments, and applications, ACM Trans.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Semantic properties, decidable fragments, and applications, ACM Trans
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.499461Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a0a4bff9-21ff-4ed4-980f-2e32ea3ec5d4 · outbound
This paper cites Konev, F.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Konev, F
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.485459Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation e7bda035-a977-4f35-8b98-ce6f00987ee3 · outbound
This paper cites Bárány, M.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Bárány, M
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.472440Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 6ca70719-3f46-4aaf-a5c1-d1186494ca0e · outbound
This paper cites Pratt-Hartmann, L.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Pratt-Hartmann, L
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.459041Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ec6d8b78-8241-432d-9e90-81daec2a55a8 · outbound
This paper cites Pratt-Hartmann, L.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Pratt-Hartmann, L
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.445643Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 185eed0e-e00f-4983-a360-3793742dfe23 · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 61
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:06.433190Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f215c749-2367-4ed3-bd7e-95ed26db0996 · outbound
This paper cites Baader, S.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Baader, S
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.420250Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 32126b2c-35f9-419c-85f3-1e4cd6e0e334 · outbound
This paper cites Artale, R.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Artale, R
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.407063Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0b5bbd95-cb63-4b3e-a2b4-11754c471975 · outbound
This paper cites Baader, S.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Baader, S
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.394664Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation d9f9a741-632a-4b10-8025-b615b143eb4b · outbound
This paper cites Artale, R.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Artale, R
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.380818Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 399bb9aa-e6df-4a00-a16d-2b3ab033bb96 · outbound
This paper cites Cuenca Grau, I.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Cuenca Grau, I
Reference 66
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.367213Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 19156bff-c154-4cf6-a4f0-dbe74cf0bff8 · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 67
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:06.353454Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c0803b68-8009-41a7-ad11-3d404a36c7c9 · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 68
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:06.340311Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 34aa44d4-56ef-4587-8272-24d6f31dd1cc · outbound
This paper cites Fitting, L.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Fitting, L
Reference 69
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.326434Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c9c160cf-df4b-4fd0-9469-bfb64a225c4a · outbound
This paper cites Kooi, Dynamic term-modal logic, in: Proc.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Kooi, Dynamic term-modal logic, in: Proc
Reference 70
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.311249Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 7822551a-dd24-4684-9173-85ac5d0c6fbf · outbound
This paper cites Corsi, E.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Corsi, E
Reference 71
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.297071Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 7b318420-d490-4b2d-bf7c-1701b10970ef · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 72
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:06.282910Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a632d053-c97c-47a1-865f-1d98fad5a2e3 · outbound
This paper cites an unresolved cited work.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Unresolved cited work
Reference 73
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T21:17:06.268944Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f9c95609-7470-4f1a-bc3a-5bdfc77f3c95 · outbound
This paper cites Padmanabha, R.
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions Padmanabha, R
Reference 74
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T21:17:06.254978Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Pith citing papers
Observation 0b577bd7-32ec-4fd4-a149-8aef41a139d1 · inbound
Fusions of One-Variable First-Order Modal Logics cites this paper.
Fusions of One-Variable First-Order Modal Logics Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
Reference 1
- Resolution
- verified exact
- local_arxiv, observed 2026-08-02T19:03:28.033891Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.