On the inner structure of multirelations
Binary multirelations form a model of alternating nondeterminism useful for analysing games, interactions of computing systems with their environments or abstract interpretations of probabilistic programs. We investigate this alternating structure with inner or demonic and outer or angelic choices i...
Uloženo v:
| Vydáno v: | Journal of logical and algebraic methods in programming Ročník 148; s. 101094 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier Inc
01.01.2026
|
| Témata: | |
| ISSN: | 2352-2208 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Binary multirelations form a model of alternating nondeterminism useful for analysing games, interactions of computing systems with their environments or abstract interpretations of probabilistic programs. We investigate this alternating structure with inner or demonic and outer or angelic choices in a relation-algebraic language extended with specific operations on multirelations that relate to the inner layer of alternation. |
|---|---|
| AbstractList | Binary multirelations form a model of alternating nondeterminism useful for analysing games, interactions of computing systems with their environments or abstract interpretations of probabilistic programs. We investigate this alternating structure with inner or demonic and outer or angelic choices in a relation-algebraic language extended with specific operations on multirelations that relate to the inner layer of alternation. |
| ArticleNumber | 101094 |
| Author | Furusawa, Hitoshi Struth, Georg Guttmann, Walter |
| Author_xml | – sequence: 1 givenname: Hitoshi surname: Furusawa fullname: Furusawa, Hitoshi organization: Department of Science, Kagoshima University, Japan – sequence: 2 givenname: Walter orcidid: 0000-0003-2969-1688 surname: Guttmann fullname: Guttmann, Walter email: walter.guttmann@canterbury.ac.nz organization: Computer Science and Software Engineering, University of Canterbury, New Zealand – sequence: 3 givenname: Georg orcidid: 0000-0001-9466-7815 surname: Struth fullname: Struth, Georg organization: Department of Computer Science, University of Sheffield, UK |
| BookMark | eNp9j7FOwzAQhj0UiVL6BCwZWRLOdlInAwOqgCJV6gKz5Thn4ShxKttB4u1xCTPTSXf_d_q_G7Jyk0NC7igUFOjuoS_6QY3nggGrLhtoyhVZM16xnDGor8k2hB4gRWtRc7om9yeXxU_MrHPosxD9rOPsMZtMNs5DtB4HFe3kwi25MmoIuP2bG_Lx8vy-P-TH0-vb_umYaw4Q8xYYdFxTqEstKoEamRKUIVVI67ZTTaOg3Kku3UXqYDgtlWFMdKpVwiR0Q_jyV_spBI9Gnr0dlf-WFOTFUfby11FeHOXimKjHhcJU7cuil0FbdBq7ZKCj7Cb7L_8D0xBedg |
| Cites_doi | 10.1016/j.scico.2006.01.007 10.1007/s11229-008-9390-y 10.1093/logcom/exae023 10.1145/2785967 10.1145/2964907 10.1016/j.jlamp.2017.04.002 10.1016/j.jlap.2014.02.008 10.1007/BFb0058581 10.1145/23005.23008 10.1145/3565365 10.1016/j.jlamp.2017.02.002 10.2307/2268577 10.1023/A:1027354826364 10.1007/BF01028975 10.1007/s00165-006-0001-8 |
| ContentType | Journal Article |
| Copyright | 2025 The Author(s) |
| Copyright_xml | – notice: 2025 The Author(s) |
| DBID | 6I. AAFTH AAYXX CITATION |
| DOI | 10.1016/j.jlamp.2025.101094 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| ExternalDocumentID | 10_1016_j_jlamp_2025_101094 S2352220825000604 |
| GroupedDBID | --M 0R~ 4.4 457 4G. 6I. 7-5 8P~ AAEDT AAEDW AAFTH AAIKJ AAKOC AALRI AAOAW AATTM AAXKI AAXUO AAYFN AAYWO ABBOA ABJNI ABMAC ABXDB ACDAQ ACGFS ACLOT ACRLP ACVFH ADBBV ADCNI ADEZE ADVLN AEBSH AEIPS AEKER AENEX AEUPX AFJKZ AFPUW AFTJW AGHFR AGUBO AIALX AIEXJ AIGII AIIUN AIKHN AITUG AKBMS AKRWK AKYEP ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOUOD AXJTR BKOJK BLXMC EBS EFJIC EFKBS EFLBG EJD FDB FIRID FYGXN GBLVA GBOLZ HZ~ KOM M41 O9- OAUVE ROL SPC SPCBC SSV SSZ T5K ~G- AAYXX CITATION |
| ID | FETCH-LOGICAL-c300t-b020d3c1084c757ece2a712e1ae18bda99a046ad0847687f314af227daba7f0d3 |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001595230900001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 2352-2208 |
| IngestDate | Thu Nov 20 00:29:44 EST 2025 Sat Nov 08 17:17:33 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Binary relations Binary multirelations Semantics of computation Quantales |
| Language | English |
| License | This is an open access article under the CC BY license. |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c300t-b020d3c1084c757ece2a712e1ae18bda99a046ad0847687f314af227daba7f0d3 |
| ORCID | 0000-0001-9466-7815 0000-0003-2969-1688 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.jlamp.2025.101094 |
| ParticipantIDs | crossref_primary_10_1016_j_jlamp_2025_101094 elsevier_sciencedirect_doi_10_1016_j_jlamp_2025_101094 |
| PublicationCentury | 2000 |
| PublicationDate | January 2026 2026-01-00 |
| PublicationDateYYYYMMDD | 2026-01-01 |
| PublicationDate_xml | – month: 01 year: 2026 text: January 2026 |
| PublicationDecade | 2020 |
| PublicationTitle | Journal of logical and algebraic methods in programming |
| PublicationYear | 2026 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | van Benthem, Ghosh, Liu (br0030) 2008; 165 Peleg (br0280) 1987; 34 Tarski (br0360) 1941; 6 Davey, Priestley (br0080) 2002 Furusawa, Struth (br0130) 2015 Back, von Wright (br0010) 1998 Martin, Curtis, Rewitzky (br0200) 2007; 65 Pauly, Parikh (br0270) 2003; 75 Schmidt (br0330) 2011 Tsumagari (br0370) 2012 Burris, Sankappanavar (br0060) 1981 Berghammer, Guttmann (br0050) 2017; 88 Furusawa, Kawahara, Struth, Tsumagari (br0120) 2017; 90 Rewitzky (br0290) 2003; vol. 2929 Rosenthal (br0310) 1990 Berghammer, Guttmann (br0040) 2015; vol. 9129 Cavalcanti, Woodcock, Dunne (br0070) 2006; 18 Furusawa, Guttmann, Struth (br0110) 2025; 35 Parikh (br0260) 1985; vol. 102 Guttmann, Struth (br0190) 2023 Goldblatt (br0160) 1992; 51 Furusawa, Struth (br0150) 2016; 17 Guttmann (br0180) 2014; 83 Bellier, Benerecetti, Della Monica, Mogavero (br0020) 2023; 24 Freyd, Ščedrov (br0090) 1990; vol. 39 Nerode, Wijesekera (br0230) 1990 Rewitzky, Brink (br0300) 2006; vol. 4136 Smyth (br0350) 1983; vol. 154 Olivier, Serrato (br0240) 1980; 290 Grillet (br0170) 1971 McIver, Morgan (br0210) 2005 Nipkow, Paulson, Wenzel (br0390) 2002; vol. 2283 Schmidt, Ströhlein (br0340) 1989 McIver, Weber (br0220) 2005; vol. 3835 Parikh (br0250) 1983 Rosenthal (br0320) 1996 Furusawa, Guttmann, Struth (br0100) 2024; 139 Furusawa, Struth (br0140) 2015; 16 Weber (br0380) 2008 Martin (10.1016/j.jlamp.2025.101094_br0200) 2007; 65 Parikh (10.1016/j.jlamp.2025.101094_br0260) 1985; vol. 102 Nerode (10.1016/j.jlamp.2025.101094_br0230) 1990 Pauly (10.1016/j.jlamp.2025.101094_br0270) 2003; 75 McIver (10.1016/j.jlamp.2025.101094_br0220) 2005; vol. 3835 Rewitzky (10.1016/j.jlamp.2025.101094_br0290) 2003; vol. 2929 Berghammer (10.1016/j.jlamp.2025.101094_br0040) 2015; vol. 9129 Rewitzky (10.1016/j.jlamp.2025.101094_br0300) 2006; vol. 4136 Smyth (10.1016/j.jlamp.2025.101094_br0350) 1983; vol. 154 Guttmann (10.1016/j.jlamp.2025.101094_br0190) Furusawa (10.1016/j.jlamp.2025.101094_br0140) 2015; 16 McIver (10.1016/j.jlamp.2025.101094_br0210) 2005 Guttmann (10.1016/j.jlamp.2025.101094_br0180) 2014; 83 Davey (10.1016/j.jlamp.2025.101094_br0080) 2002 Schmidt (10.1016/j.jlamp.2025.101094_br0330) 2011 Tsumagari (10.1016/j.jlamp.2025.101094_br0370) 2012 van Benthem (10.1016/j.jlamp.2025.101094_br0030) 2008; 165 Cavalcanti (10.1016/j.jlamp.2025.101094_br0070) 2006; 18 Parikh (10.1016/j.jlamp.2025.101094_br0250) 1983 Burris (10.1016/j.jlamp.2025.101094_br0060) 1981 Furusawa (10.1016/j.jlamp.2025.101094_br0100) 2024; 139 Olivier (10.1016/j.jlamp.2025.101094_br0240) 1980; 290 Nipkow (10.1016/j.jlamp.2025.101094_br0390) 2002; vol. 2283 Tarski (10.1016/j.jlamp.2025.101094_br0360) 1941; 6 Freyd (10.1016/j.jlamp.2025.101094_br0090) 1990; vol. 39 Schmidt (10.1016/j.jlamp.2025.101094_br0340) 1989 Goldblatt (10.1016/j.jlamp.2025.101094_br0160) 1992; 51 Peleg (10.1016/j.jlamp.2025.101094_br0280) 1987; 34 Back (10.1016/j.jlamp.2025.101094_br0010) 1998 Furusawa (10.1016/j.jlamp.2025.101094_br0120) 2017; 90 Rosenthal (10.1016/j.jlamp.2025.101094_br0310) 1990 Furusawa (10.1016/j.jlamp.2025.101094_br0110) 2025; 35 Weber (10.1016/j.jlamp.2025.101094_br0380) 2008 Grillet (10.1016/j.jlamp.2025.101094_br0170) 1971 Bellier (10.1016/j.jlamp.2025.101094_br0020) 2023; 24 Rosenthal (10.1016/j.jlamp.2025.101094_br0320) 1996 Furusawa (10.1016/j.jlamp.2025.101094_br0150) 2016; 17 Berghammer (10.1016/j.jlamp.2025.101094_br0050) 2017; 88 Furusawa (10.1016/j.jlamp.2025.101094_br0130) |
| References_xml | – volume: 65 start-page: 140 year: 2007 end-page: 158 ident: br0200 article-title: Modelling angelic and demonic nondeterminism with multirelations publication-title: Sci. Comput. Program. – volume: vol. 2929 start-page: 256 year: 2003 end-page: 271 ident: br0290 article-title: Binary multirelations publication-title: Theory and Applications of Relational Structures as Knowledge Instruments – year: 2023 ident: br0190 article-title: Inner structure, determinism and modal algebra of multirelations – volume: vol. 4136 start-page: 311 year: 2006 end-page: 327 ident: br0300 article-title: Monotone predicate transformers as up-closed multirelations publication-title: Relations and Kleene Algebra in Computer Science – year: 1996 ident: br0320 article-title: The Theory of Quantaloids – volume: 88 start-page: 45 year: 2017 end-page: 63 ident: br0050 article-title: An algebraic approach to multirelations and their properties publication-title: J. Log. Algebr. Methods Program. – year: 2008 ident: br0380 article-title: SAT-based Finite Model Generation for Higher-Order Logic – start-page: 195 year: 1983 end-page: 200 ident: br0250 article-title: Propositional game logic publication-title: 24th Annual Symposium on Foundations of Computer Science – year: 2002 ident: br0080 article-title: Introduction to Lattices and Order – year: 1990 ident: br0230 article-title: Constructive Concurrent Dynamic Logic I – volume: vol. 2283 year: 2002 ident: br0390 article-title: Isabelle/HOL: A Proof Assistant for Higher-Order Logic publication-title: Lecture Notes in Computer Science – volume: 51 start-page: 551 year: 1992 end-page: 578 ident: br0160 article-title: Parallel action: concurrent dynamic logic with independent modalities publication-title: Stud. Log. – volume: vol. 3835 start-page: 534 year: 2005 end-page: 548 ident: br0220 article-title: Towards automated proof support for probabilistic distributed systems publication-title: Logic for Programming, Artificial Intelligence, and Reasoning – year: 1989 ident: br0340 article-title: Relationen und Graphen – year: 2011 ident: br0330 article-title: Relational Mathematics – volume: 16 start-page: 1 year: 2015 end-page: 38 ident: br0140 article-title: Concurrent dynamic algebra publication-title: ACM Trans. Comput. Log. – volume: 83 start-page: 194 year: 2014 end-page: 211 ident: br0180 article-title: Multirelations with infinite computations publication-title: J. Log. Algebr. Methods Program. – volume: 34 start-page: 450 year: 1987 end-page: 479 ident: br0280 article-title: Concurrent dynamic logic publication-title: J. ACM – volume: 17 start-page: 1 year: 2016 end-page: 34 ident: br0150 article-title: Taming multirelations publication-title: ACM Trans. Comput. Log. – volume: vol. 154 start-page: 662 year: 1983 end-page: 675 ident: br0350 article-title: Power domains and predicate transformers: a topological view publication-title: Automata, Languages and Programming – volume: 139 year: 2024 ident: br0100 article-title: Determinism of multirelations publication-title: J. Log. Algebr. Methods Program. – year: 2005 ident: br0210 article-title: Abstraction, Refinement and Proof for Probabilistic Systems – volume: 90 start-page: 84 year: 2017 end-page: 101 ident: br0120 article-title: Kleisli, Parikh and Peleg compositions and liftings for multirelations publication-title: J. Log. Algebr. Methods Program. – volume: vol. 9129 start-page: 50 year: 2015 end-page: 70 ident: br0040 article-title: A relation-algebraic approach to multirelations and predicate transformers publication-title: Mathematics of Program Construction – volume: 24 start-page: 1 year: 2023 end-page: 57 ident: br0020 article-title: Good-for-game QPTL: an alternating Hodges semantics publication-title: ACM Trans. Comput. Log. – volume: vol. 39 year: 1990 ident: br0090 article-title: Categories, Allegories publication-title: North-Holland Mathematical Library – year: 1998 ident: br0010 article-title: Refinement Calculus – volume: 18 start-page: 288 year: 2006 end-page: 307 ident: br0070 article-title: Angelic nondeterminism in the unifying theories of programming publication-title: Form. Asp. Comput. – year: 2015 ident: br0130 article-title: Binary multirelations – year: 1971 ident: br0170 article-title: Regular Categories publication-title: Lecture Notes in Mathematics – volume: 165 start-page: 247 year: 2008 end-page: 268 ident: br0030 article-title: Modelling simultaneous games in dynamic logic publication-title: Synthese – volume: 75 start-page: 165 year: 2003 end-page: 182 ident: br0270 article-title: Game logic – an overview publication-title: Stud. Log. – volume: 6 start-page: 73 year: 1941 end-page: 89 ident: br0360 article-title: On the calculus of relations publication-title: J. Symb. Log. – volume: 35 year: 2025 ident: br0110 article-title: Modal algebra of multirelations publication-title: J. Log. Comput. – volume: 290 start-page: 939 year: 1980 end-page: 941 ident: br0240 article-title: Catégories de Dedekind: Morphismes transitifs dans les catégories de Schröder publication-title: C. R. Hebd. Séances Acad. Sci., Sér. A – year: 1990 ident: br0310 article-title: Quantales and Their Applications – year: 1981 ident: br0060 article-title: A Course in Universal Algebra – year: 2012 ident: br0370 article-title: Probability meets non-probability via complete IL-semirings – volume: vol. 102 start-page: 111 year: 1985 end-page: 139 ident: br0260 article-title: The logic of games and its applications publication-title: Topics in the Theory of Computation – volume: 65 start-page: 140 issue: 2 year: 2007 ident: 10.1016/j.jlamp.2025.101094_br0200 article-title: Modelling angelic and demonic nondeterminism with multirelations publication-title: Sci. Comput. Program. doi: 10.1016/j.scico.2006.01.007 – year: 2008 ident: 10.1016/j.jlamp.2025.101094_br0380 – volume: 165 start-page: 247 issue: 2 year: 2008 ident: 10.1016/j.jlamp.2025.101094_br0030 article-title: Modelling simultaneous games in dynamic logic publication-title: Synthese doi: 10.1007/s11229-008-9390-y – year: 1981 ident: 10.1016/j.jlamp.2025.101094_br0060 – volume: 35 issue: 3 year: 2025 ident: 10.1016/j.jlamp.2025.101094_br0110 article-title: Modal algebra of multirelations publication-title: J. Log. Comput. doi: 10.1093/logcom/exae023 – ident: 10.1016/j.jlamp.2025.101094_br0190 – volume: 16 start-page: 1 issue: 4:30 year: 2015 ident: 10.1016/j.jlamp.2025.101094_br0140 article-title: Concurrent dynamic algebra publication-title: ACM Trans. Comput. Log. doi: 10.1145/2785967 – year: 1990 ident: 10.1016/j.jlamp.2025.101094_br0230 – volume: 290 start-page: 939 year: 1980 ident: 10.1016/j.jlamp.2025.101094_br0240 article-title: Catégories de Dedekind: Morphismes transitifs dans les catégories de Schröder publication-title: C. R. Hebd. Séances Acad. Sci., Sér. A – volume: vol. 2929 start-page: 256 year: 2003 ident: 10.1016/j.jlamp.2025.101094_br0290 article-title: Binary multirelations – year: 2002 ident: 10.1016/j.jlamp.2025.101094_br0080 – volume: 17 start-page: 1 issue: 4:28 year: 2016 ident: 10.1016/j.jlamp.2025.101094_br0150 article-title: Taming multirelations publication-title: ACM Trans. Comput. Log. doi: 10.1145/2964907 – start-page: 195 year: 1983 ident: 10.1016/j.jlamp.2025.101094_br0250 article-title: Propositional game logic – year: 1989 ident: 10.1016/j.jlamp.2025.101094_br0340 – volume: 139 year: 2024 ident: 10.1016/j.jlamp.2025.101094_br0100 article-title: Determinism of multirelations publication-title: J. Log. Algebr. Methods Program. – year: 2011 ident: 10.1016/j.jlamp.2025.101094_br0330 – volume: vol. 2283 year: 2002 ident: 10.1016/j.jlamp.2025.101094_br0390 article-title: Isabelle/HOL: A Proof Assistant for Higher-Order Logic – volume: vol. 39 year: 1990 ident: 10.1016/j.jlamp.2025.101094_br0090 article-title: Categories, Allegories – year: 2005 ident: 10.1016/j.jlamp.2025.101094_br0210 – volume: vol. 154 start-page: 662 year: 1983 ident: 10.1016/j.jlamp.2025.101094_br0350 article-title: Power domains and predicate transformers: a topological view – volume: 90 start-page: 84 year: 2017 ident: 10.1016/j.jlamp.2025.101094_br0120 article-title: Kleisli, Parikh and Peleg compositions and liftings for multirelations publication-title: J. Log. Algebr. Methods Program. doi: 10.1016/j.jlamp.2017.04.002 – volume: 83 start-page: 194 issue: 2 year: 2014 ident: 10.1016/j.jlamp.2025.101094_br0180 article-title: Multirelations with infinite computations publication-title: J. Log. Algebr. Methods Program. doi: 10.1016/j.jlap.2014.02.008 – volume: vol. 4136 start-page: 311 year: 2006 ident: 10.1016/j.jlamp.2025.101094_br0300 article-title: Monotone predicate transformers as up-closed multirelations – year: 1971 ident: 10.1016/j.jlamp.2025.101094_br0170 article-title: Regular Categories doi: 10.1007/BFb0058581 – volume: 34 start-page: 450 issue: 2 year: 1987 ident: 10.1016/j.jlamp.2025.101094_br0280 article-title: Concurrent dynamic logic publication-title: J. ACM doi: 10.1145/23005.23008 – volume: vol. 3835 start-page: 534 year: 2005 ident: 10.1016/j.jlamp.2025.101094_br0220 article-title: Towards automated proof support for probabilistic distributed systems – volume: 24 start-page: 1 issue: 1:4 year: 2023 ident: 10.1016/j.jlamp.2025.101094_br0020 article-title: Good-for-game QPTL: an alternating Hodges semantics publication-title: ACM Trans. Comput. Log. doi: 10.1145/3565365 – volume: 88 start-page: 45 year: 2017 ident: 10.1016/j.jlamp.2025.101094_br0050 article-title: An algebraic approach to multirelations and their properties publication-title: J. Log. Algebr. Methods Program. doi: 10.1016/j.jlamp.2017.02.002 – volume: vol. 102 start-page: 111 year: 1985 ident: 10.1016/j.jlamp.2025.101094_br0260 article-title: The logic of games and its applications – ident: 10.1016/j.jlamp.2025.101094_br0130 – year: 1996 ident: 10.1016/j.jlamp.2025.101094_br0320 – volume: 6 start-page: 73 issue: 3 year: 1941 ident: 10.1016/j.jlamp.2025.101094_br0360 article-title: On the calculus of relations publication-title: J. Symb. Log. doi: 10.2307/2268577 – year: 1990 ident: 10.1016/j.jlamp.2025.101094_br0310 – year: 1998 ident: 10.1016/j.jlamp.2025.101094_br0010 – year: 2012 ident: 10.1016/j.jlamp.2025.101094_br0370 – volume: 75 start-page: 165 issue: 2 year: 2003 ident: 10.1016/j.jlamp.2025.101094_br0270 article-title: Game logic – an overview publication-title: Stud. Log. doi: 10.1023/A:1027354826364 – volume: 51 start-page: 551 issue: 3–4 year: 1992 ident: 10.1016/j.jlamp.2025.101094_br0160 article-title: Parallel action: concurrent dynamic logic with independent modalities publication-title: Stud. Log. doi: 10.1007/BF01028975 – volume: vol. 9129 start-page: 50 year: 2015 ident: 10.1016/j.jlamp.2025.101094_br0040 article-title: A relation-algebraic approach to multirelations and predicate transformers – volume: 18 start-page: 288 issue: 3 year: 2006 ident: 10.1016/j.jlamp.2025.101094_br0070 article-title: Angelic nondeterminism in the unifying theories of programming publication-title: Form. Asp. Comput. doi: 10.1007/s00165-006-0001-8 |
| SSID | ssj0001687831 |
| Score | 2.3272948 |
| Snippet | Binary multirelations form a model of alternating nondeterminism useful for analysing games, interactions of computing systems with their environments or... |
| SourceID | crossref elsevier |
| SourceType | Index Database Publisher |
| StartPage | 101094 |
| SubjectTerms | Binary multirelations Binary relations Quantales Semantics of computation |
| Title | On the inner structure of multirelations |
| URI | https://dx.doi.org/10.1016/j.jlamp.2025.101094 |
| Volume | 148 |
| WOSCitedRecordID | wos001595230900001&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: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 issn: 2352-2208 databaseCode: AIEXJ dateStart: 20211207 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.sciencedirect.com omitProxy: false ssIdentifier: ssj0001687831 providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LT8JAEN4oePDi24iv9ODBREv6ZNsjMRg0Rjxg5NZst1uFSCG0KD_f2UcLKBI5eGmaPrbb_aaz385MZxC6MGnserFt6swhVHcsWKCEsAzRYzuyKbA5YjORZ_YBPz56nY7_pP49SUU5AZwk3mTiD_8VajgGYPNfZ1eAu2gUDsA-gA5bgB22fwK-JQMXRU2tK5keljsJuB-dBw-O8ui3X2hprgtFEtf3V-5X7lJVaFrGnMuIrn4-53Hwx6NxSj4FD22CikjfukVczzjL-qoQ84twzRc2HeiaNOoIu_ys-cGaNT8ILWUBg9MBYm9OpcrsmUopmtz95izU19J00Kv2QPx59lDLrU6vns-O_W3WKmIJ8zC1XiAaCXgjgWxkHZUt7Pqg7Mr1u0bnfmp8q3nYE7Uqi-7nGalE7N-P7ixmLTNMpL2DthRWWl1Cv4vWWLKHtvPyHJrS1vvospVoIAmakAStkARtEGvzknCAnm8b7Zumrgpj6NQ2jEwPgePDp2QankOxixkv6oZNi5mEmV4YEd8nhlMjEZyH1SSGT9EhsWXhiIQEx3DrISolg4QdIY26DDitw6uKYSeCcaG-EYHWj2AnNENcQdf5iwdDmf8kWDLiFVTLBydQFE5SswAQX3bj8WrPOUGbU2E8RSUYQnaGNuhH1k1H5wruL0i_aE0 |
| linkProvider | Elsevier |
| 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=On+the+inner+structure+of+multirelations&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Furusawa%2C+Hitoshi&rft.au=Guttmann%2C+Walter&rft.au=Struth%2C+Georg&rft.date=2026-01-01&rft.issn=2352-2208&rft.volume=148&rft.spage=101094&rft_id=info:doi/10.1016%2Fj.jlamp.2025.101094&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2025_101094 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon |