Łyczak, Marcin Classical mereology is axiomatizable using primitive fusion in two-sorted logic. (English) Zbl 07977885 Notre Dame J. Formal Logic 65, No. 3, 357-365 (2024). MSC: 03B30 03B16 03B80 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Balbiani, Philippe; Gao, Han; Gencer, Çiğdem; Olivetti, Nicola Local intuitionistic modal logics and their calculi. (English) Zbl 07977527 Benzmüller, Christoph (ed.) et al., Automated reasoning. 12th international joint conference, IJCAR 2024, Nancy, France, July 3–6, 2024. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14740, 78-96 (2024). MSC: 68V15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hou, Dongshuang; Feng, Yifan; Sun, Panfei; Sun, Hao Sharing the cost of the polluted river: a class of bilateral compensation methods. (English) Zbl 07971818 OR Spectrum 46, No. 4, 1241-1264 (2024). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
McLean, Brett Complete representation by partial functions for signatures containing antidomain restriction. (English) Zbl 07965262 Int. J. Algebra Comput. 34, No. 8, 1131-1158 (2024). MSC: 03G10 06E75 06F05 20M20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fletcher, Samuel C.; Taylor, David E. Axiomatization of an orthologic of indeterminacy. (English) Zbl 07960226 J. Philos. Log. 53, No. 6, 1441-1462 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Hirvonen, Minna The implication problem for functional dependencies and variants of marginal distribution equivalences. (English) Zbl 07942537 ACM Trans. Comput. Log. 25, No. 4, Article No. 22, 23 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Leemhuis, Mena; Wolter, Diedrich; Özçep, Özgür L. Decomposing analogy: a logic characterization. (English) Zbl 07936406 Meier, Arne (ed.) et al., Foundations of information and knowledge systems. 13th international symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14589, 256-274 (2024). MSC: 68P15 68T35 68U35 × Cite Format Result Cite Review PDF Full Text: DOI
Hirvonen, Minna Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence. (English) Zbl 07936404 Meier, Arne (ed.) et al., Foundations of information and knowledge systems. 13th international symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14589, 222-234 (2024). MSC: 68P15 68T35 68U35 × Cite Format Result Cite Review PDF Full Text: DOI
Chakrabarti, Subhadip; Gogoi, Loyimee; Gilles, Robert P.; Borkotokey, Surajit; Kumar, Rajnish Expected values for variable network games. (English) Zbl 1545.91085 Ann. Oper. Res. 336, No. 3, 2061-2089 (2024). MSC: 91A43 91A12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Farakhutdinov, Renat Abukhanovich On the problem of abstract characterization of universal graphic automata. (Russian. English summary) Zbl 07879126 Chebyshevskiĭ Sb. 25, No. 1(92), 116-126 (2024). MSC: 68Q70 18B20 20M35 × Cite Format Result Cite Review PDF Full Text: DOI MNR
Galatos, Nikolaos; Zhuang, Xiao Unilinear residuated lattices: axiomatization, varieties and FEP. (English) Zbl 07877922 Algebra Univers. 85, No. 3, Paper No. 30, 33 p. (2024). MSC: 06F05 08B15 03G10 03B47 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Li, Wenzhong; Xu, Genjiu; van den Brink, René Sign properties and axiomatizations of the weighted division values. (English) Zbl 1542.91014 J. Math. Econ. 112, Article ID 102969, 7 p. (2024). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
Du, Penghao; Chen, Qian Axiomatization of hybrid logic of link variations. (English) Zbl 07856038 Gierasimczuk, Nina (ed.) et al., Dynamic logic. New trends and applications. 5th international workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14401, 35-51 (2024). MSC: 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Chen, Qian; Li, Dazhu Logic of the hide and seek game: characterization, axiomatization, decidability. (English) Zbl 07856037 Gierasimczuk, Nina (ed.) et al., Dynamic logic. New trends and applications. 5th international workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14401, 20-34 (2024). MSC: 03B70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Parent, Xavier On some weakened forms of transitivity in the logic of conditional obligation. (English) Zbl 07854135 J. Philos. Log. 53, No. 3, 721-760 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Hou, Dongshuang; Han, Weibin; Xu, Genjiu; Feng, Yifan A generalization of the CIS value for cooperative cost games. (English) Zbl 1536.91033 4OR 22, No. 1, 17-30 (2024). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
Calleja, Pedro; Llerena, Francesc Proportional clearing mechanisms in financial systems: an axiomatic approach. (English) Zbl 1533.91478 J. Math. Econ. 111, Article ID 102955, 14 p. (2024). MSC: 91G45 × Cite Format Result Cite Review PDF Full Text: DOI
Chalopin, Jérémie; Changat, Manoj; Chepoi, Victor; Jacob, Jeny First-order logic axiomatization of metric graph theory. (English) Zbl 07819255 Theor. Comput. Sci. 993, Article ID 114460, 28 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Demange, Gabrielle On the resolution of cross-liabilities. (English) Zbl 1534.91169 Math. Program. 203, No. 1-2 (B), 827-856 (2024). MSC: 91G45 91G50 × Cite Format Result Cite Review PDF Full Text: DOI Link
Lowing, David Cost allocation in energy distribution networks. (English) Zbl 1532.91050 J. Math. Econ. 110, Article ID 102919, 15 p. (2024). MSC: 91B32 91A12 91A80 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Akama, Seiki; Abe, Jair Minoro On the choice of primitives in tense logic. (English) Zbl 07931498 Abe, Jair Minoro (ed.), Advances in applied logics. Applications of logic for philosophy, mathematics and information technology. Cham: Springer. Intell. Syst. Ref. Libr. 243, 37-40 (2023). MSC: 03B44 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Su, Xingchi Making norms and following norms. (English) Zbl 07871927 Alechina, Natasha (ed.) et al., Logic, rationality, and interaction. 9th international workshop, LORI 2023, Jinan, China, October 26–29, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14329, 260-268 (2023). MSC: 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Fan, Jie Unknown truths and unknowable truths. (English) Zbl 07871914 Alechina, Natasha (ed.) et al., Logic, rationality, and interaction. 9th international workshop, LORI 2023, Jinan, China, October 26–29, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14329, 86-93 (2023). MSC: 68T27 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ishihara, Shinichi; Shino, Junnosuke Some properties of interval Shapley values: an axiomatic analysis. (English) Zbl 1543.91010 Games 14, No. 3, Paper No. 50, 10 p. (2023). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
Adlešić, Tin; Čačić, Vedran The cardinal squaring principle and an alternative axiomatization of NFU. (English) Zbl 07811425 Bull. Sect. Log., Univ. Łódź, Dep. Log. 52, No. 4, 551-581 (2023). MSC: 03E20 03E30 03E25 × Cite Format Result Cite Review PDF Full Text: DOI
Jackson, Marcel; Stokes, Tim Restriction in program algebra. (English) Zbl 07806942 Log. J. IGPL 31, No. 5, 926-960 (2023). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hatano, Ryo; Sano, Katsuhiko Three faces of recursion axioms: the case of constructive dynamic logic of relation changers. (English) Zbl 07801583 J. Log. Comput. 33, No. 6, 1399-1436 (2023). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Drugeon, Jean-Pierre; Ha-Huy, Thai An \(\alpha\)-maxmin utility representation for close and distant future preferences with temporal biases. (English) Zbl 1532.91044 J. Math. Econ. 109, Article ID 102916, 12 p. (2023). MSC: 91B16 × Cite Format Result Cite Review PDF Full Text: DOI
Rybakov, Mikhail Nikolaevich A simple example of blocking the Craig trick. (Russian. English summary) Zbl 1547.03277 Log. Issled. 29, No. 2, 36-58 (2023). MSC: 03D25 × Cite Format Result Cite Review PDF Full Text: DOI
Knudstorp, Søren Brinck Modal information logics: axiomatizations and decidability. (English) Zbl 07785162 J. Philos. Log. 52, No. 6, 1723-1766 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Enayat, Ali; Łełyk, Mateusz Axiomatizations of Peano arithmetic: a truth-theoretic view. (English) Zbl 1546.03017 J. Symb. Log. 88, No. 4, 1526-1555 (2023). Reviewer: Leszek Aleksander Kołodziejczyk (Warszawa) MSC: 03F30 03F25 03C62 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Neumann, Berenice Anne; Rieger, Marc Oliver A new axiomatization of discounted expected utility. (English) Zbl 1527.91066 Theory Decis. 95, No. 4, 515-537 (2023). MSC: 91B16 × Cite Format Result Cite Review PDF Full Text: DOI
Naumov, Pavel; Tao, Jia Counterfactual and seeing-to-it responsibilities in strategic games. (English) Zbl 07741123 Ann. Pure Appl. Logic 174, No. 10, Article ID 103353, 31 p. (2023). MSC: 03F03 03A10 68T27 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Zhang, Li; Xu, Genjiu; Sun, Hao; Li, Wenzhong Players’ dummification and the dummified egalitarian non-separable contribution value. (English) Zbl 1521.91021 Econ. Lett. 226, Article ID 111102, 5 p. (2023). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
Li, Dafa Simplifying the axiomatization for ordered affine geometry via a theorem prover. (English) Zbl 1518.51009 J. Geom. 114, No. 2, Paper No. 9, 6 p. (2023). Reviewer: Victor V. Pambuccian (Glendale) MSC: 51G05 03F55 03B30 03B35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Glavaničová, Daniela; Jarmużek, Tomasz; Klonowski, Mateusz; Kulicki, Piotr Free choice permission, legitimization and relating semantics. (English) Zbl 1515.03071 Log. J. IGPL 31, No. 3, 574-597 (2023). MSC: 03B42 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Zou, Rong; Li, Wenzhong; Uetz, Marc; Xu, Genjiu Two-step Shapley-solidarity value for cooperative games with coalition structure. (English) Zbl 1519.91023 OR Spectrum 45, No. 1, 1-25 (2023). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
Wu, Hao; Long, Huan Probabilistic weak bisimulation and axiomatization for probabilistic models. (English) Zbl 07691958 Inf. Process. Lett. 182, Article ID 106399, 11 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Kontinen, Juha; Yang, Fan Complete logics for elementary team properties. (English) Zbl 07691753 J. Symb. Log. 88, No. 2, 579-619 (2023). MSC: 03B60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Marti, Johannes Conditional logic is complete for convexity in the plane. (English) Zbl 1525.03071 Rev. Symb. Log. 16, No. 2, 529-552 (2023). Reviewer: Xavier Parent (Wien) MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Sun, Panfei; Hou, Dongshuang; Sun, Hao The general compromise value for cooperative games with transferable utility. (English) Zbl 1512.91007 J. Syst. Sci. Complex. 36, No. 1, 375-392 (2023). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
Leung, Samson Axiomatizing AECs and applications. (English) Zbl 07662885 Ann. Pure Appl. Logic 174, No. 5, Article ID 103248, 18 p. (2023). MSC: 03C48 03C45 03C55 03C52 03C75 03C95 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Baltag, Alexandru; Özgün, Aybüke; Sandoval, Ana Lucia Vargas Arbitrary public announcement logic with memory. (English) Zbl 1539.03047 J. Philos. Log. 52, No. 1, 53-110 (2023). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Khan, Md. Aquil; Banerjee, Mohua; Panda, Sibsankar Logics for temporal information systems in rough set theory. (English) Zbl 07650598 ACM Trans. Comput. Log. 24, No. 1, Article No. 2, 29 p. (2023). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Bhattacharya, Ananyo The man from the future. The visionary life of John von Neumann. Translated from the English by Anatole Muchnik. (John von Neumann. L’homme qui venait du futur. L’histoire de l’un des plus grands génies du siècle.) (French) Zbl 1519.01002 Lausanne: Presses Polytechniques et Universitaires Romandes (PPUR)/Quanto (ISBN 978-2-88915-507-1). 392 p. (2023). Reviewer: Nadia Boudi (Rabat) MSC: 01-02 01A70 01A60 68-03 91-03 × Cite Format Result Cite Review PDF
Ealy, Clifton F.; Maříková, Jana Quantifier elimination for o-minimal structures expanded by a valuational cut. (English) Zbl 1508.03070 Ann. Pure Appl. Logic 174, No. 2, Article ID 103206, 22 p. (2023). Reviewer: Fujita Masato (Kure) MSC: 03C64 03C10 12J25 12J10 12J15 12L12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Badia, Guillermo; Crossley, John N.; Humberstone, Lloyd Axiomatization via translation: Hiż’s warning for predicate logic. (English) Zbl 1531.03011 Log. Anal., Nouv. Sér. 65, No. 257, 39-56 (2022). MSC: 03B10 03A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bezhanishvili, Guram; Bezhanishvili, Nick Jankov formulas and axiomatization techniques for intermediate logics. (English) Zbl 1543.03061 Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 71-124 (2022). MSC: 03B55 06D20 06E15 × Cite Format Result Cite Review PDF Full Text: DOI
Ciardelli, Ivano Describing neighborhoods in inquisitive modal logic. (English) Zbl 1531.03034 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 217-236 (2022). MSC: 03B45 × Cite Format Result Cite Review PDF
Balbiani, Philippe; Fernández González, Saúl Parametrized modal logic. I: An introduction. (English) Zbl 1531.03031 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 97-117 (2022). MSC: 03B45 × Cite Format Result Cite Review PDF
Hirvonen, Minna The implication problem for functional dependencies and variants of marginal distribution equivalences. (English) Zbl 07630643 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 130-146 (2022). MSC: 68P15 68T27 68T35 68U35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hirsch, Robin; Mikulás, Szabolcs; Stokes, Tim The algebra of non-deterministic programs: demonic operations, orders and axioms. (English) Zbl 1499.08001 Log. J. IGPL 30, No. 5, 886-906 (2022). MSC: 08A02 08A70 06F05 20M10 68N30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Sun, Panfei; Hou, Dongshuang; Sun, Hao Optimization implementation of solution concepts for cooperative games with stochastic payoffs. (English) Zbl 1500.91009 Theory Decis. 93, No. 4, 691-724 (2022). MSC: 91A12 91A15 × Cite Format Result Cite Review PDF Full Text: DOI
Wen, Xuefeng New axiomatization of Lewis’ conditional logics. (English) Zbl 07582526 Liao, Beishui (ed.) et al., Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10–12, 2022. London: College Publications. 95-106 (2022). MSC: 03B60 × Cite Format Result Cite Review PDF Full Text: arXiv
Yu, Chaowen Hyperplane games, prize games and NTU values. (English) Zbl 1497.91025 Theory Decis. 93, No. 2, 359-370 (2022). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
Ciardelli, Ivano; Grilletti, Gianluca Coherence in inquisitive first-order logic. (English) Zbl 1547.03212 Ann. Pure Appl. Logic 173, No. 9, Article ID 103155, 39 p. (2022). MSC: 03B60 03B45 × Cite Format Result Cite Review PDF Full Text: DOI Link
Zou, Zhengxing; van den Brink, René; Funaki, Yukihiko Sharing the surplus and proportional values. (English) Zbl 1497.91026 Theory Decis. 93, No. 1, 185-217 (2022). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI Link
Abbadini, Marco; Jipsen, Peter; Kroupa, Tomáš; Vannucci, Sara A finite axiomatization of positive MV-algebras. (English) Zbl 1529.06016 Algebra Univers. 83, No. 3, Paper No. 28, 15 p. (2022). MSC: 06D35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Drugeon, Jean-Pierre; Ha Huy, Thai A not so myopic axiomatization of discounting. (English) Zbl 1494.91051 Econ. Theory 73, No. 1, 349-376 (2022). MSC: 91B15 91B16 × Cite Format Result Cite Review PDF Full Text: DOI Link
Li, Wenzhong; Xu, Genjiu; Zou, Rong; Hou, Dongshuang The allocation of marginal surplus for cooperative games with transferable utility. (English) Zbl 1493.91012 Int. J. Game Theory 51, No. 2, 353-377 (2022). MSC: 91A12 91A10 91A11 × Cite Format Result Cite Review PDF Full Text: DOI
Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Ingolfsdottir, Anna Axiomatizing recursion-free, regular monitors. (English) Zbl 1541.68233 J. Log. Algebr. Methods Program. 127, Article ID 100778, 32 p. (2022). MSC: 68Q85 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Madarász, Judit X.; Stannett, Mike; Székely, Gergely Groups of worldview transformations implied by Einstein’s special principle of relativity over arbitrary ordered fields. (English) Zbl 1532.03013 Rev. Symb. Log. 15, No. 2, 334-361 (2022). MSC: 03B30 83A05 03B80 20G15 12J15 × Cite Format Result Cite Review PDF Full Text: DOI Link
Fan, Jie Logics of (in)sane and (un)reliable beliefs. (English) Zbl 1494.03037 Log. J. IGPL 30, No. 1, 78-100 (2022). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Kellerman, Ruaan First-order theories of bounded trees. (English) Zbl 1523.03013 Arch. Math. Logic 61, No. 1-2, 263-297 (2022). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C65 05C05 06A05 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
López-Gómez, Julián; Sampedro, Juan Carlos Axiomatization of the degree of Fitzpatrick, Pejsachowicz and Rabier. (English) Zbl 1521.47097 J. Fixed Point Theory Appl. 24, No. 1, Paper No. 8, 28 p. (2022). Reviewer: Janko Bračič (Ljubljana) MSC: 47H11 47A53 55M25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Khan, Md. Aquil; Patel, Vineeta Singh A formal study of a generalized rough set model based on subset approximation structure. (English) Zbl 07460570 Int. J. Approx. Reasoning 140, 52-74 (2022). MSC: 68T37 × Cite Format Result Cite Review PDF Full Text: DOI
Gorrieri, Roberto A study on team bisimulation and H-team bisimulation for BPP nets. (English) Zbl 1540.68153 Theor. Comput. Sci. 897, 83-113 (2022). MSC: 68Q85 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Da Costa, Newton C. A.; Doria, Francisco Antonio On Hilbert’s sixth problem. (English) Zbl 1494.00005 Synthese Library 441. Cham: Springer (ISBN 978-3-030-83836-2/hbk; 978-3-030-83837-9/ebook). xiii, 191 p. (2022). Reviewer: Deborah Konkowski (Annapolis) MSC: 00A30 00A79 × Cite Format Result Cite Review PDF Full Text: DOI
Marcelino, Sérgio; Caleiro, Carlos Axiomatizing non-deterministic many-valued generalized consequence relations. (English) Zbl 1525.03086 Synthese 198, Suppl. 22, S5373-S5390 (2021). MSC: 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Xu, Chao; Wang, Yanjing; Studer, Thomas A logic of knowing why. (English) Zbl 1506.03068 Synthese 198, No. 2, 1259-1285 (2021). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Wang, Xun Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic. (English) Zbl 1547.03164 Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 246-258 (2021). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Ishihara, Shinichi; Shino, Junnosuke A solution mapping and its axiomatization in two-person interval games. (English) Zbl 1484.91022 J. Oper. Res. Soc. Japan 64, No. 4, 214-226 (2021). MSC: 91A12 91A05 × Cite Format Result Cite Review PDF
Deuser, Kaya; Naumov, Pavel Strategic knowledge acquisition. (English) Zbl 1502.68284 ACM Trans. Comput. Log. 22, No. 3, Article No. 17, 18 p. (2021). MSC: 68T27 03B42 03B44 68T30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Radzik, Tadeusz On a new method of analyzing properties of efficient, symmetric and linear values of TU-games. (English) Zbl 1483.91027 Appl. Math. 48, No. 2, 173-208 (2021). MSC: 91A12 91A06 × Cite Format Result Cite Review PDF Full Text: DOI
Fan, Jie Two variants of noncontingency operator. (English) Zbl 1529.03147 Notre Dame J. Formal Logic 62, No. 3, 491-525 (2021). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cordes, Moritz Calculizing classical inferential erotetic logic. (English) Zbl 1517.03030 Rev. Symb. Log. 14, No. 4, 1066-1087 (2021). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Gonzalez, Stéphane; Lardon, Aymeric Axiomatic foundations of the core for games in effectiveness form. (English) Zbl 1482.91010 Math. Soc. Sci. 114, 28-38 (2021). MSC: 91A12 91B14 × Cite Format Result Cite Review PDF Full Text: DOI
Rusinowska, Agnieszka On different ranking methods. (English) Zbl 1481.91076 Borkotokey, Surajit (ed.) et al., Game theory and networks. New perspectives and directions. Selected papers based on the presentations at the international conference on game theory and networks, Dibrugarh University, Dibrugarh, India, September 6–8, 2019, and the international seminar on game theory and networks, Dibrugarh University, Dibrugarh, India, September 13–14, 2018. Singapore: Springer. Indian Stat. Inst. Ser., 105-116 (2021). MSC: 91B14 05C90 × Cite Format Result Cite Review PDF Full Text: DOI
Nakamura, Yoshiki; Matsuda, Naosuke On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem. (English) Zbl 1539.03102 Stud. Log. 109, No. 6, 1413-1422 (2021). MSC: 03B55 × Cite Format Result Cite Review PDF Full Text: DOI
Pérez-Castrillo, David; Sun, Chaoran Value-free reductions. (English) Zbl 1478.91009 Games Econ. Behav. 130, 543-568 (2021). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
Naumov, Pavel; Ros, Kevin Strategic coalitions in stochastic games. (English) Zbl 1546.91039 J. Log. Comput. 31, No. 7, 1845-1867 (2021). MSC: 91A15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Lanese, Ivan; Phillips, Iain Forward-reverse observational equivalences in CCSK. (English) Zbl 1476.68097 Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 126-143 (2021). MSC: 68Q09 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI
Demri, Stéphane; Fervari, Raul; Mansutti, Alessio Internal proof calculi for modal logics with separating conjunction. (English) Zbl 1547.03121 J. Log. Comput. 31, No. 3, 832-891 (2021). MSC: 03B45 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Yokote, Koji; Kongo, Takumi; Funaki, Yukihiko Redistribution to the less productive: parallel characterizations of the egalitarian Shapley and consensus values. (English) Zbl 1470.91028 Theory Decis. 91, No. 1, 81-98 (2021); correction ibid. 91, No. 1, 99 (2021). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
Pasteczka, Paweł Online premeans and their computation complexity. (English) Zbl 1518.26018 Result. Math. 76, No. 3, Paper No. 141, 23 p. (2021). MSC: 26E60 68Q45 68W27 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cocco, Lorenzo; Babic, Joshua A system of axioms for Minkowski spacetime. (English) Zbl 1473.03008 J. Philos. Log. 50, No. 1, 149-185 (2021). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03B30 51F20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hatano, Ryo; Sano, Katsuhiko Recapturing dynamic logic of relation changers via bounded morphisms. (English) Zbl 1535.03080 Stud. Log. 109, No. 1, 95-124 (2021). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Rogna, Marco The central core and the mid-central core as novel set-valued and point-valued solution concepts for transferable utility coalitional games. (English) Zbl 1461.91027 Math. Soc. Sci. 109, 1-11 (2021). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
Bejan, Camelia; Gómez, Juan Camilo; van den Nouweland, Anne Feasibility-free axiomatization of the core and its non-empty extension. (English) Zbl 1460.91016 Econ. Lett. 201, Article ID 109779, 4 p. (2021). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
Azimipour, Sanaz; Naumov, Pavel Axiomatic theory of betweenness. (English) Zbl 1496.03033 Arch. Math. Logic 60, No. 1-2, 227-239 (2021). Reviewer: Paul Bankston (Milwaukee) MSC: 03B30 03B10 51H15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Ahmed, Tarek Sayed On non-finite axiomatization of \(n\)-modal logics between \(\mathbf{K}^n\) and \(\mathbf{S}5^n\) for finite \(n \geq 3\). (English) Zbl 1513.03036 JP J. Algebra Number Theory Appl. 47, No. 1, 99-119 (2020). MSC: 03B45 03G15 × Cite Format Result Cite Review PDF Full Text: Link
Courcelle, Bruno Betweenness of partial orders. (English) Zbl 1484.03050 RAIRO, Theor. Inform. Appl. 54, Paper No. 7, 10 p. (2020). MSC: 03C15 06A06 03B16 03C13 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hatano, Ryo; Sano, Katsuhiko Constructive dynamic logic of relation changers. (English) Zbl 1536.03008 Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 137-154 (2020). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Khan, Md. Aquil; Patel, Vineeta Singh Knowledge and approximations: a formal study under the perspective of information systems and rough set theory. (English) Zbl 1458.68206 Inf. Sci. 524, 97-115 (2020). MSC: 68T27 03B42 68T37 × Cite Format Result Cite Review PDF Full Text: DOI
Feng, Wenrui; Han, Weibin; Pan, Zheng A reformulated Shapley-like value for cooperative games with interval payoffs. (English) Zbl 1525.91015 Oper. Res. Lett. 48, No. 6, 758-762 (2020). MSC: 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
Tserenjigmid, Gerelt On the characterization of linear habit formation. (English) Zbl 1458.91072 Econ. Theory 70, No. 1, 49-93 (2020). MSC: 91B08 × Cite Format Result Cite Review PDF Full Text: DOI
Alon, Shiri; Lehrer, Ehud Subjective utilitarianism: individual decisions in a social context. (English) Zbl 1457.91144 J. Econ. Theory 190, Article ID 105108, 15 p. (2020). MSC: 91B06 × Cite Format Result Cite Review PDF Full Text: DOI
Kongo, Takumi Similarities in axiomatizations: equal surplus division value and first-price auctions. (English) Zbl 1455.91114 Rev. Econ. Des. 24, No. 3-4, 199-213 (2020). MSC: 91B26 91A12 × Cite Format Result Cite Review PDF Full Text: DOI
Gorrieri, Roberto Team equivalences for finite-state machines with silent moves. (English) Zbl 1498.68184 Inf. Comput. 275, Article ID 104603, 47 p. (2020). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI Link
Platzer, André; Tan, Yong Kiam Differential equation invariance axiomatization. (English) Zbl 1494.03079 J. ACM 67, No. 1, Article No. 6, 66 p. (2020). MSC: 03B80 03B70 03F03 34A38 34C14 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv