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: 68T27 03-XX PDF BibTeX XML Cite \textit{X. Wen}, in: Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10--12, 2022. London: College Publications. 95--106 (2022; Zbl 07582526) OpenURL
Yu, Chaowen Hyperplane games, prize games and NTU values. (English) Zbl 07572727 Theory Decis. 93, No. 2, 359-370 (2022). MSC: 91Bxx PDF BibTeX XML Cite \textit{C. Yu}, Theory Decis. 93, No. 2, 359--370 (2022; Zbl 07572727) Full Text: DOI OpenURL
Ciardelli, Ivano; Grilletti, Gianluca Coherence in inquisitive first-order logic. (English) Zbl 07566289 Ann. Pure Appl. Logic 173, No. 9, Article ID 103155, 39 p. (2022). MSC: 03B45 03B55 03B60 03C07 PDF BibTeX XML Cite \textit{I. Ciardelli} and \textit{G. Grilletti}, Ann. Pure Appl. Logic 173, No. 9, Article ID 103155, 39 p. (2022; Zbl 07566289) Full Text: DOI OpenURL
Zou, Zhengxing; van den Brink, René; Funaki, Yukihiko Sharing the surplus and proportional values. (English) Zbl 07562198 Theory Decis. 93, No. 1, 185-217 (2022). MSC: 91A12 PDF BibTeX XML Cite \textit{Z. Zou} et al., Theory Decis. 93, No. 1, 185--217 (2022; Zbl 07562198) Full Text: DOI Link OpenURL
Abbadini, Marco; Jipsen, Peter; Kroupa, Tomáš; Vannucci, Sara A finite axiomatization of positive MV-algebras. (English) Zbl 07556317 Algebra Univers. 83, No. 3, Paper No. 28, 15 p. (2022). MSC: 06D35 06F05 08C15 PDF BibTeX XML Cite \textit{M. Abbadini} et al., Algebra Univers. 83, No. 3, Paper No. 28, 15 p. (2022; Zbl 07556317) Full Text: DOI OpenURL
Drugeon, Jean-Pierre; Ha Huy, Thai A not so myopic axiomatization of discounting. (English) Zbl 07549008 Econ. Theory 73, No. 1, 349-376 (2022). MSC: 91B15 91B16 PDF BibTeX XML Cite \textit{J.-P. Drugeon} and \textit{T. Ha Huy}, Econ. Theory 73, No. 1, 349--376 (2022; Zbl 07549008) Full Text: DOI Link OpenURL
Li, Wenzhong; Xu, Genjiu; Zou, Rong; Hou, Dongshuang The allocation of marginal surplus for cooperative games with transferable utility. (English) Zbl 07545093 Int. J. Game Theory 51, No. 2, 353-377 (2022). MSC: 91A12 91A10 91A11 PDF BibTeX XML Cite \textit{W. Li} et al., Int. J. Game Theory 51, No. 2, 353--377 (2022; Zbl 07545093) Full Text: DOI OpenURL
Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Ingolfsdottir, Anna Axiomatizing recursion-free, regular monitors. (English) Zbl 07531445 J. Log. Algebr. Methods Program. 127, Article ID 100778, 32 p. (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{L. Aceto} et al., J. Log. Algebr. Methods Program. 127, Article ID 100778, 32 p. (2022; Zbl 07531445) Full Text: DOI OpenURL
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 07531428 Rev. Symb. Log. 15, No. 2, 334-361 (2022). MSC: 03B30 83A05 03B10 03B80 20G15 PDF BibTeX XML Cite \textit{J. X. Madarász} et al., Rev. Symb. Log. 15, No. 2, 334--361 (2022; Zbl 07531428) Full Text: DOI OpenURL
Fan, Jie Logics of (in)sane and (un)reliable beliefs. (English) Zbl 07500473 Log. J. IGPL 30, No. 1, 78-100 (2022). MSC: 03B42 PDF BibTeX XML Cite \textit{J. Fan}, Log. J. IGPL 30, No. 1, 78--100 (2022; Zbl 07500473) Full Text: DOI OpenURL
López-Gómez, Julián; Sampedro, Juan Carlos Axiomatization of the degree of Fitzpatrick, Pejsachowicz and Rabier. (English) Zbl 07468364 J. Fixed Point Theory Appl. 24, No. 1, Paper No. 8, 28 p. (2022). MSC: 47H11 47A53 55M25 PDF BibTeX XML Cite \textit{J. López-Gómez} and \textit{J. C. Sampedro}, J. Fixed Point Theory Appl. 24, No. 1, Paper No. 8, 28 p. (2022; Zbl 07468364) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{Md. A. Khan} and \textit{V. S. Patel}, Int. J. Approx. Reasoning 140, 52--74 (2022; Zbl 07460570) Full Text: DOI OpenURL
Gorrieri, Roberto A study on team bisimulation and H-team bisimulation for BPP nets. (English) Zbl 07437214 Theor. Comput. Sci. 897, 83-113 (2022). MSC: 68Q85 03B45 PDF BibTeX XML Cite \textit{R. Gorrieri}, Theor. Comput. Sci. 897, 83--113 (2022; Zbl 07437214) Full Text: DOI OpenURL
Da Costa, Newton C. A.; Doria, Francisco Antonio On Hilbert’s sixth problem. (English) Zbl 07395525 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 PDF BibTeX XML Cite \textit{N. C. A. Da Costa} and \textit{F. A. Doria}, On Hilbert's sixth problem. Cham: Springer (2022; Zbl 07395525) Full Text: DOI OpenURL
Wang, Xun Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic. (English) Zbl 07547774 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: 68T27 PDF BibTeX XML Cite \textit{X. Wang}, Lect. Notes Comput. Sci. 13039, 246--258 (2021; Zbl 07547774) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{S. Ishihara} and \textit{J. Shino}, J. Oper. Res. Soc. Japan 64, No. 4, 214--226 (2021; Zbl 1484.91022) OpenURL
Deuser, Kaya; Naumov, Pavel Strategic knowledge acquisition. (English) Zbl 07480991 ACM Trans. Comput. Log. 22, No. 3, Article No. 17, 18 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{K. Deuser} and \textit{P. Naumov}, ACM Trans. Comput. Log. 22, No. 3, Article No. 17, 18 p. (2021; Zbl 07480991) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{T. Radzik}, Appl. Math. 48, No. 2, 173--208 (2021; Zbl 1483.91027) Full Text: DOI OpenURL
Fan, Jie Two variants of noncontingency operator. (English) Zbl 07473055 Notre Dame J. Formal Logic 62, No. 3, 491-525 (2021). MSC: 03B45 PDF BibTeX XML Cite \textit{J. Fan}, Notre Dame J. Formal Logic 62, No. 3, 491--525 (2021; Zbl 07473055) Full Text: DOI arXiv OpenURL
Cordes, Moritz Calculizing classical Inferential erotetic logic. (English) Zbl 07469716 Rev. Symb. Log. 14, No. 4, 1066-1087 (2021). MSC: 03F99 PDF BibTeX XML Cite \textit{M. Cordes}, Rev. Symb. Log. 14, No. 4, 1066--1087 (2021; Zbl 07469716) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{S. Gonzalez} and \textit{A. Lardon}, Math. Soc. Sci. 114, 28--38 (2021; Zbl 1482.91010) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. Rusinowska}, in: 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. 105--116 (2021; Zbl 1481.91076) Full Text: DOI OpenURL
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 07450676 Stud. Log. 109, No. 6, 1413-1422 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{Y. Nakamura} and \textit{N. Matsuda}, Stud. Log. 109, No. 6, 1413--1422 (2021; Zbl 07450676) Full Text: DOI OpenURL
Pérez-Castrillo, David; Sun, Chaoran Value-free reductions. (English) Zbl 1478.91009 Games Econ. Behav. 130, 543-568 (2021). MSC: 91A12 PDF BibTeX XML Cite \textit{D. Pérez-Castrillo} and \textit{C. Sun}, Games Econ. Behav. 130, 543--568 (2021; Zbl 1478.91009) Full Text: DOI OpenURL
Naumov, Pavel; Ros, Kevin Strategic coalitions in stochastic games. (English) Zbl 07423155 J. Log. Comput. 31, No. 7, 1845-1867 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{P. Naumov} and \textit{K. Ros}, J. Log. Comput. 31, No. 7, 1845--1867 (2021; Zbl 07423155) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{I. Lanese} and \textit{I. Phillips}, Lect. Notes Comput. Sci. 12805, 126--143 (2021; Zbl 1476.68097) Full Text: DOI Link OpenURL
Demri, Stéphane; Fervari, Raul; Mansutti, Alessio Internal proof calculi for modal logics with separating conjunction. (English) Zbl 07398775 J. Log. Comput. 31, No. 3, 832-891 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{S. Demri} et al., J. Log. Comput. 31, No. 3, 832--891 (2021; Zbl 07398775) Full Text: DOI HAL OpenURL
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 PDF BibTeX XML Cite \textit{K. Yokote} et al., Theory Decis. 91, No. 1, 81--98 (2021; Zbl 1470.91028) Full Text: DOI OpenURL
Pasteczka, Paweł Online premeans and their computation complexity. (English) Zbl 07372257 Result. Math. 76, No. 3, Paper No. 141, 23 p. (2021). MSC: 68Qxx 26E60 68Q45 68Q70 PDF BibTeX XML Cite \textit{P. Pasteczka}, Result. Math. 76, No. 3, Paper No. 141, 23 p. (2021; Zbl 07372257) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{L. Cocco} and \textit{J. Babic}, J. Philos. Log. 50, No. 1, 149--185 (2021; Zbl 1473.03008) Full Text: DOI arXiv OpenURL
Hatano, Ryo; Sano, Katsuhiko Recapturing dynamic logic of relation changers via bounded morphisms. (English) Zbl 07339951 Stud. Log. 109, No. 1, 95-124 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{R. Hatano} and \textit{K. Sano}, Stud. Log. 109, No. 1, 95--124 (2021; Zbl 07339951) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. Rogna}, Math. Soc. Sci. 109, 1--11 (2021; Zbl 1461.91027) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{C. Bejan} et al., Econ. Lett. 201, Article ID 109779, 4 p. (2021; Zbl 1460.91016) Full Text: DOI OpenURL
Azimipour, Sanaz; Naumov, Pavel Axiomatic theory of betweenness. (English) Zbl 07297807 Arch. Math. Logic 60, No. 1-2, 227-239 (2021). Reviewer: Paul Bankston (Milwaukee) MSC: 03B99 51H15 PDF BibTeX XML Cite \textit{S. Azimipour} and \textit{P. Naumov}, Arch. Math. Logic 60, No. 1--2, 227--239 (2021; Zbl 07297807) Full Text: DOI arXiv OpenURL
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 07522969 JP J. Algebra Number Theory Appl. 47, No. 1, 99-119 (2020). MSC: 11-XX PDF BibTeX XML Cite \textit{T. S. Ahmed}, JP J. Algebra Number Theory Appl. 47, No. 1, 99--119 (2020; Zbl 07522969) Full Text: Link OpenURL
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 PDF BibTeX XML Cite \textit{B. Courcelle}, RAIRO, Theor. Inform. Appl. 54, Paper No. 7, 10 p. (2020; Zbl 1484.03050) Full Text: DOI arXiv OpenURL
Hatano, Ryo; Sano, Katsuhiko Constructive dynamic logic of relation changers. (English) Zbl 07437020 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: 03B70 PDF BibTeX XML Cite \textit{R. Hatano} and \textit{K. Sano}, Lect. Notes Comput. Sci. 12569, 137--154 (2020; Zbl 07437020) Full Text: DOI OpenURL
Deuser, Kaya; Naumov, Pavel On composition of bounded-recall plans. (English) Zbl 07382233 Artif. Intell. 289, Article ID 103399, 19 p. (2020). MSC: 68Txx PDF BibTeX XML Cite \textit{K. Deuser} and \textit{P. Naumov}, Artif. Intell. 289, Article ID 103399, 19 p. (2020; Zbl 07382233) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{Md. A. Khan} and \textit{V. S. Patel}, Inf. Sci. 524, 97--115 (2020; Zbl 1458.68206) Full Text: DOI OpenURL
Feng, Wenrui; Han, Weibin; Pan, Zheng A reformulated Shapley-like value for cooperative games with interval payoffs. (English) Zbl 07331201 Oper. Res. Lett. 48, No. 6, 758-762 (2020). MSC: 90-XX PDF BibTeX XML Cite \textit{W. Feng} et al., Oper. Res. Lett. 48, No. 6, 758--762 (2020; Zbl 07331201) Full Text: DOI OpenURL
Tserenjigmid, Gerelt On the characterization of linear habit formation. (English) Zbl 1458.91072 Econ. Theory 70, No. 1, 49-93 (2020). MSC: 91B08 PDF BibTeX XML Cite \textit{G. Tserenjigmid}, Econ. Theory 70, No. 1, 49--93 (2020; Zbl 1458.91072) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{S. Alon} and \textit{E. Lehrer}, J. Econ. Theory 190, Article ID 105108, 15 p. (2020; Zbl 1457.91144) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{T. Kongo}, Rev. Econ. Des. 24, No. 3--4, 199--213 (2020; Zbl 1455.91114) Full Text: DOI OpenURL
Gorrieri, Roberto Team equivalences for finite-state machines with silent moves. (English) Zbl 07285760 Inf. Comput. 275, Article ID 104603, 47 p. (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. Gorrieri}, Inf. Comput. 275, Article ID 104603, 47 p. (2020; Zbl 07285760) Full Text: DOI OpenURL
Platzer, André; Tan, Yong Kiam Differential equation invariance axiomatization. (English) Zbl 07273077 J. ACM 67, No. 1, Article No. 6, 66 p. (2020). MSC: 03B80 03B70 03F03 34A38 34C14 68Q60 PDF BibTeX XML Cite \textit{A. Platzer} and \textit{Y. K. Tan}, J. ACM 67, No. 1, Article No. 6, 66 p. (2020; Zbl 07273077) Full Text: DOI arXiv OpenURL
Karlov, B. On theory of regular languages with the Kleene star operation. (English) Zbl 1486.03059 Lobachevskii J. Math. 41, No. 9, 1660-1665 (2020). MSC: 03C15 03C65 68Q45 68Q17 PDF BibTeX XML Cite \textit{B. Karlov}, Lobachevskii J. Math. 41, No. 9, 1660--1665 (2020; Zbl 1486.03059) Full Text: DOI OpenURL
Zou, Zhengxing; van den Brink, René Equal loss under separatorization and egalitarian values. (English) Zbl 1451.91011 Econ. Lett. 194, Article ID 109423, 4 p. (2020). MSC: 91A12 91A05 PDF BibTeX XML Cite \textit{Z. Zou} and \textit{R. van den Brink}, Econ. Lett. 194, Article ID 109423, 4 p. (2020; Zbl 1451.91011) Full Text: DOI Link OpenURL
Movsisyan, Yuri; Pambuccian, Victor The geometry of point reflections and quasigroups. (English) Zbl 1477.20136 Result. Math. 75, No. 4, Paper No. 132, 19 p. (2020). Reviewer: Huberta Lausch (Grafing) MSC: 20N05 51M05 PDF BibTeX XML Cite \textit{Y. Movsisyan} and \textit{V. Pambuccian}, Result. Math. 75, No. 4, Paper No. 132, 19 p. (2020; Zbl 1477.20136) Full Text: DOI OpenURL
Gilboa-Freedman, Gail; Smorodinsky, Rann On the behavioral implications of differential privacy. (English) Zbl 1465.68067 Theor. Comput. Sci. 841, 84-93 (2020). Reviewer: T. C. Mohan (Chennai) MSC: 68P27 PDF BibTeX XML Cite \textit{G. Gilboa-Freedman} and \textit{R. Smorodinsky}, Theor. Comput. Sci. 841, 84--93 (2020; Zbl 1465.68067) Full Text: DOI OpenURL
Abbadini, Marco Dedekind \(\sigma \)-complete \(\ell \)-groups and Riesz spaces as varieties. (English) Zbl 1484.06059 Positivity 24, No. 4, 1081-1100 (2020). MSC: 06F20 03C05 08A65 PDF BibTeX XML Cite \textit{M. Abbadini}, Positivity 24, No. 4, 1081--1100 (2020; Zbl 1484.06059) Full Text: DOI arXiv OpenURL
Cao, Rui; Naumov, Pavel Knowing the price of success. (English) Zbl 1451.68291 Artif. Intell. 284, Article ID 103287, 14 p. (2020). MSC: 68T42 03B42 03B45 68T27 PDF BibTeX XML Cite \textit{R. Cao} and \textit{P. Naumov}, Artif. Intell. 284, Article ID 103287, 14 p. (2020; Zbl 1451.68291) Full Text: DOI OpenURL
Morrison, Colby; Naumov, Pavel Group conformity in social networks. (English) Zbl 1435.91138 J. Logic Lang. Inf. 29, No. 1, 3-19 (2020). MSC: 91D30 03B80 PDF BibTeX XML Cite \textit{C. Morrison} and \textit{P. Naumov}, J. Logic Lang. Inf. 29, No. 1, 3--19 (2020; Zbl 1435.91138) Full Text: DOI OpenURL
Leonetti, Paolo; Tringali, Salvatore On the notions of upper and lower density. (English) Zbl 1442.11019 Proc. Edinb. Math. Soc., II. Ser. 63, No. 1, 139-167 (2020). Reviewer: Štefan Porubský (Praha) MSC: 11B05 28A10 39B52 60B99 PDF BibTeX XML Cite \textit{P. Leonetti} and \textit{S. Tringali}, Proc. Edinb. Math. Soc., II. Ser. 63, No. 1, 139--167 (2020; Zbl 1442.11019) Full Text: DOI arXiv OpenURL
Abe, Takaaki Axiomatizations of coalition aggregation functions. (English) Zbl 1433.91009 Math. Soc. Sci. 103, 69-75 (2020). MSC: 91A12 91A06 PDF BibTeX XML Cite \textit{T. Abe}, Math. Soc. Sci. 103, 69--75 (2020; Zbl 1433.91009) Full Text: DOI Link OpenURL
Naumov, Pavel; Tao, Jia An epistemic logic of blameworthiness. (English) Zbl 1435.03037 Artif. Intell. 283, Article ID 103269, 24 p. (2020). MSC: 03B42 91A44 PDF BibTeX XML Cite \textit{P. Naumov} and \textit{J. Tao}, Artif. Intell. 283, Article ID 103269, 24 p. (2020; Zbl 1435.03037) Full Text: DOI OpenURL
Shu, Xinfeng; Duan, Zhenhua; Du, Hongwei A decision procedure and complete axiomatization for projection temporal logic. (English) Zbl 07188529 Theor. Comput. Sci. 819, 50-84 (2020). MSC: 03B44 03B35 68V20 PDF BibTeX XML Cite \textit{X. Shu} et al., Theor. Comput. Sci. 819, 50--84 (2020; Zbl 07188529) Full Text: DOI OpenURL
Fallahi, Asadollah Simple axiomatizations for pretabular classical relevance logics. (English) Zbl 1476.03025 Stud. Log. 108, No. 2, 359-393 (2020). Reviewer: Alex Citkin (Warren) MSC: 03B47 03B20 PDF BibTeX XML Cite \textit{A. Fallahi}, Stud. Log. 108, No. 2, 359--393 (2020; Zbl 1476.03025) Full Text: DOI OpenURL
Kriegel, Francesco Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \). (English) Zbl 1430.68310 Discrete Appl. Math. 273, 172-204 (2020). MSC: 68T27 68T05 68T30 PDF BibTeX XML Cite \textit{F. Kriegel}, Discrete Appl. Math. 273, 172--204 (2020; Zbl 1430.68310) Full Text: DOI OpenURL
Gorbunov, Igor A. Finite axiomatizability of quasi-normal modal logics. (Russian. English summary) Zbl 1446.03042 Log. Issled. 25, No. 1, 88-99 (2019). MSC: 03B45 PDF BibTeX XML Cite \textit{I. A. Gorbunov}, Log. Issled. 25, No. 1, 88--99 (2019; Zbl 1446.03042) Full Text: DOI OpenURL
Yang, Hui; Sun, Hao; Xu, Genjiu A class of social-Shapley values of cooperative games with graph structure. (English) Zbl 1439.91009 Li, Deng-Feng (ed.), Game theory. Third East Asia game theory international conference, EAGT 2019, Fuzhou, Fujian, China, March 7–9, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1082, 43-56 (2019). MSC: 91A12 91A43 PDF BibTeX XML Cite \textit{H. Yang} et al., Commun. Comput. Inf. Sci. 1082, 43--56 (2019; Zbl 1439.91009) Full Text: DOI OpenURL
Fan, Jie A family of neighborhood contingency logics. (English) Zbl 1444.03052 Notre Dame J. Formal Logic 60, No. 4, 683-699 (2019). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 PDF BibTeX XML Cite \textit{J. Fan}, Notre Dame J. Formal Logic 60, No. 4, 683--699 (2019; Zbl 1444.03052) Full Text: DOI arXiv Euclid OpenURL
Kriegel, Francesco Joining implications in formal contexts and inductive learning in a Horn description logic. (English) Zbl 07165999 Cristea, Diana (ed.) et al., Formal concept analysis. 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11511, 110-129 (2019). MSC: 68T30 PDF BibTeX XML Cite \textit{F. Kriegel}, Lect. Notes Comput. Sci. 11511, 110--129 (2019; Zbl 07165999) Full Text: DOI OpenURL
Wang, Xinyu; Wang, Yanjing Knowledge-now and knowledge-all. (English) Zbl 07160625 Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 399-412 (2019). MSC: 68T27 PDF BibTeX XML Cite \textit{X. Wang} and \textit{Y. Wang}, Lect. Notes Comput. Sci. 11813, 399--412 (2019; Zbl 07160625) Full Text: DOI OpenURL
Naumov, Pavel; Tao, Jia Knowing-how under uncertainty. (English) Zbl 1478.03027 Artif. Intell. 276, 41-56 (2019). MSC: 03B42 68T27 68T30 PDF BibTeX XML Cite \textit{P. Naumov} and \textit{J. Tao}, Artif. Intell. 276, 41--56 (2019; Zbl 1478.03027) Full Text: DOI OpenURL
Fan, Jie Symmetric contingency logic with unlimitedly many modalities. (English) Zbl 1457.03040 J. Philos. Log. 48, No. 5, 851-866 (2019). MSC: 03B45 PDF BibTeX XML Cite \textit{J. Fan}, J. Philos. Log. 48, No. 5, 851--866 (2019; Zbl 1457.03040) Full Text: DOI OpenURL
Tennant, Neil On Tarski’s axiomatization of mereology. (English) Zbl 07142212 Stud. Log. 107, No. 6, 1089-1102 (2019). MSC: 03-XX PDF BibTeX XML Cite \textit{N. Tennant}, Stud. Log. 107, No. 6, 1089--1102 (2019; Zbl 07142212) Full Text: DOI OpenURL
Marquer, Yoann; Gava, Frédéric Axiomatization and characterization of BSP algorithms. (English) Zbl 1435.68187 J. Log. Algebr. Methods Program. 109, Article ID 100479, 43 p. (2019). MSC: 68Q55 68N30 68W01 PDF BibTeX XML Cite \textit{Y. Marquer} and \textit{F. Gava}, J. Log. Algebr. Methods Program. 109, Article ID 100479, 43 p. (2019; Zbl 1435.68187) Full Text: DOI OpenURL
Balbiani, Philippe; Boudou, Joseph Axiomatization and computability of a variant of iteration-free PDL with fork. (English) Zbl 1435.03055 J. Log. Algebr. Methods Program. 108, 47-68 (2019). MSC: 03B70 03B25 PDF BibTeX XML Cite \textit{P. Balbiani} and \textit{J. Boudou}, J. Log. Algebr. Methods Program. 108, 47--68 (2019; Zbl 1435.03055) Full Text: DOI Link OpenURL
Wang, Yong Probabilistic process algebra to unifying quantum and classical computing in closed systems. (English) Zbl 1428.81062 Int. J. Theor. Phys. 58, No. 10, 3436-3509 (2019). MSC: 81P68 68W01 68Q85 PDF BibTeX XML Cite \textit{Y. Wang}, Int. J. Theor. Phys. 58, No. 10, 3436--3509 (2019; Zbl 1428.81062) Full Text: DOI arXiv OpenURL
Wang, Yong An axiomatization for quantum processes to unifying quantum and classical computing. (English) Zbl 1468.81032 Int. J. Theor. Phys. 58, No. 10, 3295-3322 (2019). MSC: 81P68 81P45 PDF BibTeX XML Cite \textit{Y. Wang}, Int. J. Theor. Phys. 58, No. 10, 3295--3322 (2019; Zbl 1468.81032) Full Text: DOI arXiv OpenURL
Martins, Yuri Ximenes; Campos, Luiz Felipe Andrade; de Souza Plácido, Daniel; Biezuner, Rodney Josué Existence and classification of pseudo-asymptotic solutions for Tolman-Oppenheimer-Volkoff systems. (English) Zbl 1425.83014 Ann. Phys. 409, Article ID 167929, 18 p. (2019). MSC: 83C20 76Y05 85A15 34A12 PDF BibTeX XML Cite \textit{Y. X. Martins} et al., Ann. Phys. 409, Article ID 167929, 18 p. (2019; Zbl 1425.83014) Full Text: DOI arXiv OpenURL
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine Alternating-time temporal logic ATL with finitely bounded semantics. (English) Zbl 1434.03067 Theor. Comput. Sci. 797, 129-155 (2019). MSC: 03B44 03B25 68Q17 68T27 PDF BibTeX XML Cite \textit{V. Goranko} et al., Theor. Comput. Sci. 797, 129--155 (2019; Zbl 1434.03067) Full Text: DOI OpenURL
Rébillé, Yann Representations of preferences with pseudolinear utility functions. (English) Zbl 1426.91114 J. Math. Psychol. 89, 1-12 (2019). MSC: 91B16 91B08 91B64 PDF BibTeX XML Cite \textit{Y. Rébillé}, J. Math. Psychol. 89, 1--12 (2019; Zbl 1426.91114) Full Text: DOI OpenURL
Balamuralikrishna, Nishita; Jiang, Yingnan; Koehler, Henning; Leck, Uwe; Link, Sebastian; Prade, Henri Possibilistic keys. (English) Zbl 1423.94049 Fuzzy Sets Syst. 376, 1-36 (2019). MSC: 94A60 68Q17 68Q25 PDF BibTeX XML Cite \textit{N. Balamuralikrishna} et al., Fuzzy Sets Syst. 376, 1--36 (2019; Zbl 1423.94049) Full Text: DOI Link OpenURL
Voorneveld, Mark An axiomatization of the Nash equilibrium concept. (English) Zbl 1425.91027 Games Econ. Behav. 117, 316-321 (2019). MSC: 91A10 91A40 PDF BibTeX XML Cite \textit{M. Voorneveld}, Games Econ. Behav. 117, 316--321 (2019; Zbl 1425.91027) Full Text: DOI OpenURL
Kongo, Takumi Players’ nullification and the weighted (surplus) division values. (English) Zbl 1420.91010 Econ. Lett. 183, Article ID 108539, 3 p. (2019). MSC: 91A12 PDF BibTeX XML Cite \textit{T. Kongo}, Econ. Lett. 183, Article ID 108539, 3 p. (2019; Zbl 1420.91010) Full Text: DOI OpenURL
Skibski, Oskar; Rahwan, Talal; Michalak, Tomasz P.; Yokoo, Makoto Attachment centrality: measure for connectivity in networks. (English) Zbl 1478.68261 Artif. Intell. 274, 151-179 (2019). MSC: 68R10 05C40 05C57 68Q25 90B18 PDF BibTeX XML Cite \textit{O. Skibski} et al., Artif. Intell. 274, 151--179 (2019; Zbl 1478.68261) Full Text: DOI OpenURL
Zhang, Yan-Lan; Li, Chang-Qing; Li, Jinjin On characterizations of a pair of covering-based approximation operators. (English) Zbl 1418.68218 Soft Comput. 23, No. 12, 3965-3972 (2019). MSC: 68T37 PDF BibTeX XML Cite \textit{Y.-L. Zhang} et al., Soft Comput. 23, No. 12, 3965--3972 (2019; Zbl 1418.68218) Full Text: DOI OpenURL
Egrot, Rob Recursive axiomatizations for representable posets. (English) Zbl 07079851 Int. J. Algebra Comput. 29, No. 4, 699-711 (2019). MSC: 03C98 06A11 PDF BibTeX XML Cite \textit{R. Egrot}, Int. J. Algebra Comput. 29, No. 4, 699--711 (2019; Zbl 07079851) Full Text: DOI arXiv OpenURL
Gilboa, Itzhak; Postlewaite, Andrew; Samuelson, Larry; Schmeidler, David What are axiomatizations good for? (English) Zbl 1411.91227 Theory Decis. 86, No. 3-4, 339-359 (2019). MSC: 91B16 91B06 PDF BibTeX XML Cite \textit{I. Gilboa} et al., Theory Decis. 86, No. 3--4, 339--359 (2019; Zbl 1411.91227) Full Text: DOI OpenURL
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja A topological approach to full belief. (English) Zbl 1457.03030 J. Philos. Log. 48, No. 2, 205-244 (2019). MSC: 03B42 54G05 54A35 PDF BibTeX XML Cite \textit{A. Baltag} et al., J. Philos. Log. 48, No. 2, 205--244 (2019; Zbl 1457.03030) Full Text: DOI OpenURL
Devillet, J.; Kiss, G. Characterizations of biselective operations. (English) Zbl 1438.39041 Acta Math. Hung. 157, No. 2, 387-407 (2019). MSC: 39B52 PDF BibTeX XML Cite \textit{J. Devillet} and \textit{G. Kiss}, Acta Math. Hung. 157, No. 2, 387--407 (2019; Zbl 1438.39041) Full Text: DOI arXiv Link OpenURL
Alcantud, José Carlos R. Yet another characterization of the majority rule. (English) Zbl 1411.91213 Econ. Lett. 177, 52-55 (2019). MSC: 91B12 91B14 PDF BibTeX XML Cite \textit{J. C. R. Alcantud}, Econ. Lett. 177, 52--55 (2019; Zbl 1411.91213) Full Text: DOI OpenURL
Devillet, Jimmy; Kiss, Gergely; Marichal, Jean-Luc Characterizations of quasitrivial symmetric nondecreasing associative operations. (English) Zbl 1454.20125 Semigroup Forum 98, No. 1, 154-171 (2019). MSC: 20N15 20M10 PDF BibTeX XML Cite \textit{J. Devillet} et al., Semigroup Forum 98, No. 1, 154--171 (2019; Zbl 1454.20125) Full Text: DOI arXiv Link OpenURL
Sun, Panfei; Hou, Dongshuang; Sun, Hao Responsibility and sharing the cost of cleaning a polluted river. (English) Zbl 1411.91444 Math. Methods Oper. Res. 89, No. 1, 143-156 (2019). MSC: 91B76 PDF BibTeX XML Cite \textit{P. Sun} et al., Math. Methods Oper. Res. 89, No. 1, 143--156 (2019; Zbl 1411.91444) Full Text: DOI OpenURL
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia Subframization and stabilization for superintuitionistic logics. (English) Zbl 1444.03006 J. Log. Comput. 29, No. 1, 1-35 (2019). MSC: 03B20 03B45 PDF BibTeX XML Cite \textit{G. Bezhanishvili} et al., J. Log. Comput. 29, No. 1, 1--35 (2019; Zbl 1444.03006) Full Text: DOI Link OpenURL
Teng, Shang-Hua Going beyond traditional characterizations in the age of big data and network sciences (Invited Talk). (English) Zbl 07561355 Hsu, Wen-Lian (ed.) et al., 29th international symposium on algorithms and computation, ISAAC 2018, December 16–19, 2018, Jiaoxi, Yilan, Taiwan. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 123, Article 1, 1 p. (2018). MSC: 68Wxx PDF BibTeX XML Cite \textit{S.-H. Teng}, LIPIcs -- Leibniz Int. Proc. Inform. 123, Article 1, 1 p. (2018; Zbl 07561355) Full Text: DOI OpenURL
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu Complete axiomatization for the total variation distance of Markov chains. (English) Zbl 07513453 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 27-39 (2018). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{G. Bacci} et al., Electron. Notes Theor. Comput. Sci. 336, 27--39 (2018; Zbl 07513453) Full Text: DOI OpenURL
Corry, Leo Hilbert’s sixth problem: between the foundations of geometry and the axiomatization of physics. (English) Zbl 1470.81007 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 376, No. 2118, Article ID 20170221, 16 p. (2018). MSC: 81-03 01A60 00A30 81P05 PDF BibTeX XML Cite \textit{L. Corry}, Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 376, No. 2118, Article ID 20170221, 16 p. (2018; Zbl 1470.81007) Full Text: DOI OpenURL
Platzer, André; Tan, Yong Kiam Differential equation axiomatization. The impressive power of differential ghosts. (English) Zbl 1453.03026 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 819-828 (2018). MSC: 03B70 03B80 03F03 34A38 68Q60 PDF BibTeX XML Cite \textit{A. Platzer} and \textit{Y. K. Tan}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 819--828 (2018; Zbl 1453.03026) Full Text: DOI arXiv OpenURL
Bjorndahl, Adam Topological subset space models for public announcements. (English) Zbl 1437.03059 van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 165-186 (2018). MSC: 03B42 PDF BibTeX XML Cite \textit{A. Bjorndahl}, Outst. Contrib. Log. 12, 165--186 (2018; Zbl 1437.03059) Full Text: DOI arXiv OpenURL
Lefever, Koen; Székely, Gergely Comparing classical and relativistic kinematics in first-order logic. (English) Zbl 1436.03097 Log. Anal., Nouv. Sér. 61, No. 241, 57-117 (2018). MSC: 03B30 70B05 70H40 83A05 PDF BibTeX XML Cite \textit{K. Lefever} and \textit{G. Székely}, Log. Anal., Nouv. Sér. 61, No. 241, 57--117 (2018; Zbl 1436.03097) Full Text: DOI arXiv OpenURL
Diéguez, Martín; Fernández-Duque, David An intuitionistic axiomatization of ‘eventually’. (English) Zbl 1418.03078 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 199-218 (2018). MSC: 03B45 03B20 03B44 PDF BibTeX XML Cite \textit{M. Diéguez} and \textit{D. Fernández-Duque}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 199--218 (2018; Zbl 1418.03078) Full Text: arXiv OpenURL
Balbiani, Philippe; Diéguez, Martin Here and there modal logic with dual implication. (English) Zbl 1418.03067 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 63-82 (2018). MSC: 03B45 68Q17 PDF BibTeX XML Cite \textit{P. Balbiani} and \textit{M. Diéguez}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 63--82 (2018; Zbl 1418.03067) OpenURL
Yu, Zuoming; Li, Jinjin; Wang, Pei; Zhang, Yanlan; Yun, Ziqiu Axiomatization of covering-based approximation operators generated by general or irreducible coverings. (English) Zbl 1448.68428 Int. J. Approx. Reasoning 103, 383-393 (2018). MSC: 68T37 03E72 PDF BibTeX XML Cite \textit{Z. Yu} et al., Int. J. Approx. Reasoning 103, 383--393 (2018; Zbl 1448.68428) Full Text: DOI OpenURL
Khan, Md. Aquil; Patel, Vineeta Singh A simple modal logic for reasoning in multigranulation rough set model. (English) Zbl 1407.68485 ACM Trans. Comput. Log. 19, No. 4, Article No. 30, 23 p. (2018). MSC: 68T37 03B45 PDF BibTeX XML Cite \textit{Md. A. Khan} and \textit{V. S. Patel}, ACM Trans. Comput. Log. 19, No. 4, Article No. 30, 23 p. (2018; Zbl 1407.68485) Full Text: DOI OpenURL
Naumov, Pavel; Tao, Jia Together we know how to achieve: an epistemic logic of know-how. (English) Zbl 1454.03025 Artif. Intell. 262, 279-300 (2018). MSC: 03B42 91A12 PDF BibTeX XML Cite \textit{P. Naumov} and \textit{J. Tao}, Artif. Intell. 262, 279--300 (2018; Zbl 1454.03025) Full Text: DOI arXiv OpenURL
Domènech, Margarita; Giménez, José Miguel; Puente, María Albina Semivalues: weighting coefficients and allocations on unanimity games. (English) Zbl 1411.91043 Optim. Lett. 12, No. 8, 1841-1854 (2018). MSC: 91A12 PDF BibTeX XML Cite \textit{M. Domènech} et al., Optim. Lett. 12, No. 8, 1841--1854 (2018; Zbl 1411.91043) Full Text: DOI Link OpenURL
Hansen, Mikkel; Larsen, Kim Guldstrand; Mardare, Radu; Ruggaard Pedersen, Mathias Reasoning about bounds in weighted transition systems. (English) Zbl 06987096 Log. Methods Comput. Sci. 14, No. 4, Paper No. 19, 32 p. (2018). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. Hansen} et al., Log. Methods Comput. Sci. 14, No. 4, Paper No. 19, 32 p. (2018; Zbl 06987096) Full Text: DOI arXiv OpenURL
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu A complete quantitative deduction system for the bisimilarity distance on Markov chains. (English) Zbl 1409.68182 Log. Methods Comput. Sci. 14, No. 4, Paper No. 15, 29 p. (2018). MSC: 68Q85 03B70 60J20 68Q87 PDF BibTeX XML Cite \textit{G. Bacci} et al., Log. Methods Comput. Sci. 14, No. 4, Paper No. 15, 29 p. (2018; Zbl 1409.68182) Full Text: DOI arXiv OpenURL