Haffner, Emmylou; Schlimm, Dirk Dedekind on continuity. (English) Zbl 07309824 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 255-282 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{E. Haffner} and \textit{D. Schlimm}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 255--282 (2021; Zbl 07309824) Full Text: DOI
Azimipour, Sanaz; Naumov, Pavel Axiomatic theory of betweenness. (English) Zbl 07297807 Arch. Math. Logic 60, No. 1-2, 227-239 (2021). 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
Alon, Shiri; Lehrer, Ehud Subjective utilitarianism: individual decisions in a social context. (English) Zbl 07300991 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 07300991) Full Text: DOI
Kongo, Takumi Similarities in axiomatizations: equal surplus division value and first-price auctions. (English) Zbl 07297161 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 07297161) Full Text: DOI
Gorrieri, Roberto Team equivalences for finite-state machines with silent moves. (English) Zbl 07285760 Inf. Comput. 275, Article ID 104603, 47 p. (2020). MSC: 68Q PDF BibTeX XML Cite \textit{R. Gorrieri}, Inf. Comput. 275, Article ID 104603, 47 p. (2020; Zbl 07285760) Full Text: DOI
Platzer, André; Tan, Yong Kiam Differential equation invariance axiomatization. (English) Zbl 07273077 J. ACM 67, No. 1, Article No. 6, 66 p. (2020). MSC: 68 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
Karlov, B. On theory of regular languages with the Kleene star operation. (English) Zbl 07272823 Lobachevskii J. Math. 41, No. 9, 1660-1665 (2020). MSC: 03 68 PDF BibTeX XML Cite \textit{B. Karlov}, Lobachevskii J. Math. 41, No. 9, 1660--1665 (2020; Zbl 07272823) Full Text: DOI
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
Movsisyan, Yuri; Pambuccian, Victor The geometry of point reflections and quasigroups. (English) Zbl 07249872 Result. Math. 75, No. 4, Paper No. 132, 19 p. (2020). 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 07249872) Full Text: DOI
Gilboa-Freedman, Gail; Smorodinsky, Rann On the behavioral implications of differential privacy. (English) Zbl 07248856 Theor. Comput. Sci. 841, 84-93 (2020). MSC: 68Q PDF BibTeX XML Cite \textit{G. Gilboa-Freedman} and \textit{R. Smorodinsky}, Theor. Comput. Sci. 841, 84--93 (2020; Zbl 07248856) Full Text: DOI
Abbadini, Marco Dedekind \(\sigma \)-complete \(\ell \)-groups and Riesz spaces as varieties. (English) Zbl 07239388 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 07239388) Full Text: DOI
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
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
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
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
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
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
Fallahi, Asadollah Simple axiomatizations for pretabular classical relevance logics. (English) Zbl 07183499 Stud. Log. 108, No. 2, 359-393 (2020). MSC: 03 PDF BibTeX XML Cite \textit{A. Fallahi}, Stud. Log. 108, No. 2, 359--393 (2020; Zbl 07183499) Full Text: DOI
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
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
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
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 Euclid
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 (ISBN 978-3-030-21461-6/pbk; 978-3-030-21462-3/ebook). Lecture Notes in Computer Science 11511. Lecture Notes in Artificial Intelligence, 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
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 (ISBN 978-3-662-60291-1/pbk; 978-3-662-60292-8/ebook). Lecture Notes in Computer Science 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
Naumov, Pavel; Tao, Jia Knowing-how under uncertainty. (English) Zbl 07153675 Artif. Intell. 276, 41-56 (2019). MSC: 68T PDF BibTeX XML Cite \textit{P. Naumov} and \textit{J. Tao}, Artif. Intell. 276, 41--56 (2019; Zbl 07153675) Full Text: DOI
Fan, Jie Symmetric contingency logic with unlimitedly many modalities. (English) Zbl 07146104 J. Philos. Log. 48, No. 5, 851-866 (2019). MSC: 03 PDF BibTeX XML Cite \textit{J. Fan}, J. Philos. Log. 48, No. 5, 851--866 (2019; Zbl 07146104) Full Text: DOI
Tennant, Neil On Tarski’s axiomatization of mereology. (English) Zbl 07142212 Stud. Log. 107, No. 6, 1089-1102 (2019). MSC: 03 PDF BibTeX XML Cite \textit{N. Tennant}, Stud. Log. 107, No. 6, 1089--1102 (2019; Zbl 07142212) Full Text: DOI
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
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
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
Wang, Yong An axiomatization for quantum processes to unifying quantum and classical computing. (English) Zbl 07138086 Int. J. Theor. Phys. 58, No. 10, 3295-3322 (2019). MSC: 68Q 68N 68 PDF BibTeX XML Cite \textit{Y. Wang}, Int. J. Theor. Phys. 58, No. 10, 3295--3322 (2019; Zbl 07138086) Full Text: DOI
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
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
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
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
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
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
Skibski, Oskar; Rahwan, Talal; Michalak, Tomasz P.; Yokoo, Makoto Attachment centrality: measure for connectivity in networks. (English) Zbl 07099217 Artif. Intell. 274, 151-179 (2019). MSC: 68T PDF BibTeX XML Cite \textit{O. Skibski} et al., Artif. Intell. 274, 151--179 (2019; Zbl 07099217) Full Text: DOI
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
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
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
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja A topological approach to full belief. (English) Zbl 07066823 J. Philos. Log. 48, No. 2, 205-244 (2019). MSC: 03 PDF BibTeX XML Cite \textit{A. Baltag} et al., J. Philos. Log. 48, No. 2, 205--244 (2019; Zbl 07066823) Full Text: DOI
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
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
Devillet, Jimmy; Kiss, Gergely; Marichal, Jean-Luc Characterizations of quasitrivial symmetric nondecreasing associative operations. (English) Zbl 07036271 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 07036271) Full Text: DOI
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
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
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
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
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
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
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)
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
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
Naumov, Pavel; Tao, Jia Together we know how to achieve: an epistemic logic of know-how. (English) Zbl 07003570 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 07003570) Full Text: DOI
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
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 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
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
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia Stable modal logics. (English) Zbl 06965268 Rev. Symb. Log. 11, No. 3, 436-469 (2018). MSC: 03B45 03B55 PDF BibTeX XML Cite \textit{G. Bezhanishvili} et al., Rev. Symb. Log. 11, No. 3, 436--469 (2018; Zbl 06965268) Full Text: DOI
Le, Van Hung; Tran, Duc Khanh Extending fuzzy logics with many hedges. (English) Zbl 1397.03038 Fuzzy Sets Syst. 345, 126-138 (2018). MSC: 03B52 PDF BibTeX XML Cite \textit{V. H. Le} and \textit{D. K. Tran}, Fuzzy Sets Syst. 345, 126--138 (2018; Zbl 1397.03038) Full Text: DOI
Kongo, Takumi Balanced contributions based on indirect claims and the Shapley value. (English) Zbl 1397.91042 Econ. Lett. 167, 48-50 (2018). MSC: 91A12 PDF BibTeX XML Cite \textit{T. Kongo}, Econ. Lett. 167, 48--50 (2018; Zbl 1397.91042) Full Text: DOI
Bezhanishvili, Nick; de Jongh, Dick Stable formulas in intuitionistic logic. (English) Zbl 06939322 Notre Dame J. Formal Logic 59, No. 3, 307-324 (2018). MSC: 03B55 03B20 PDF BibTeX XML Cite \textit{N. Bezhanishvili} and \textit{D. de Jongh}, Notre Dame J. Formal Logic 59, No. 3, 307--324 (2018; Zbl 06939322) Full Text: DOI Euclid
Karasmanis, Vassilis The axiomatization of mathematics and Plato’s conception of knowledge in the Meno and the Republic. (English) Zbl 1403.01007 Sialaros, Michalis (ed.), Revolutions and continuity in Greek mathematics. Berlin: De Gruyter (ISBN 978-3-11-056365-8/hbk; 978-3-11-056595-9/ebook). Science, Technology, and Medicine in Ancient Cultures 8, 319-333 (2018). Reviewer: V. N. Saliĭ (Saratov) MSC: 01A20 PDF BibTeX XML Cite \textit{V. Karasmanis}, Sci. Technol. Med. Anc. Cult. 8, 319--333 (2018; Zbl 1403.01007) Full Text: DOI
van den Brink, René; He, Simin; Huang, Jia-Ping Polluted river problems and games with a permission structure. (English) Zbl 1400.91389 Games Econ. Behav. 108, 182-205 (2018). MSC: 91B76 91B32 91A12 PDF BibTeX XML Cite \textit{R. van den Brink} et al., Games Econ. Behav. 108, 182--205 (2018; Zbl 1400.91389) Full Text: DOI
Yokote, Koji; Kongo, Takumi; Funaki, Yukihiko The balanced contributions property for equal contributors. (English) Zbl 1400.91033 Games Econ. Behav. 108, 113-124 (2018). MSC: 91A12 PDF BibTeX XML Cite \textit{K. Yokote} et al., Games Econ. Behav. 108, 113--124 (2018; Zbl 1400.91033) Full Text: DOI
Lück, Martin Axiomatizations of team logics. (English) Zbl 06880857 Ann. Pure Appl. Logic 169, No. 9, 928-969 (2018). MSC: 03B45 03B60 03F03 PDF BibTeX XML Cite \textit{M. Lück}, Ann. Pure Appl. Logic 169, No. 9, 928--969 (2018; Zbl 06880857) Full Text: DOI
Hu, Cheng-Cheng; Tsay, Min-Hung; Yeh, Chun-Hsien A study of the nucleolus in the nested cost-sharing problem: axiomatic and strategic perspectives. (English) Zbl 1390.91029 Games Econ. Behav. 109, 82-98 (2018). MSC: 91A12 PDF BibTeX XML Cite \textit{C.-C. Hu} et al., Games Econ. Behav. 109, 82--98 (2018; Zbl 1390.91029) Full Text: DOI
Olkhovikov, Grigory K.; Wansing, Heinrich An axiomatic system and a tableau calculus for STIT imagination logic. (English) Zbl 1436.03114 J. Philos. Log. 47, No. 2, 259-279 (2018). MSC: 03B42 PDF BibTeX XML Cite \textit{G. K. Olkhovikov} and \textit{H. Wansing}, J. Philos. Log. 47, No. 2, 259--279 (2018; Zbl 1436.03114) Full Text: DOI
Liao, Yu-Hsien The precore: converse consistent enlargements and alternative axiomatic results. (English) Zbl 1390.91031 Top 26, No. 1, 146-163 (2018). MSC: 91A12 PDF BibTeX XML Cite \textit{Y.-H. Liao}, Top 26, No. 1, 146--163 (2018; Zbl 1390.91031) Full Text: DOI
Bice, Tristan; Starling, Charles Locally compact Stone duality. (English) Zbl 06866541 J. Log. Anal. 10, Article 2, 36 p. (2018). MSC: 03C65 06E15 06E75 06B35 54D45 54D70 54D80 PDF BibTeX XML Cite \textit{T. Bice} and \textit{C. Starling}, J. Log. Anal. 10, Article 2, 36 p. (2018; Zbl 06866541) Full Text: DOI Link
Balbiani, Philippe; Boudou, Joseph Axiomatization and computability of a variant of iteration-free PDL with fork. (English) Zbl 06858836 Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-73578-8/pbk; 978-3-319-73579-5/ebook). Lecture Notes in Computer Science 10669, 17-34 (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{P. Balbiani} and \textit{J. Boudou}, Lect. Notes Comput. Sci. 10669, 17--34 (2018; Zbl 06858836) Full Text: DOI
Gonzalez, Stéphane; Lardon, Aymeric Optimal deterrence of cooperation. (English) Zbl 1407.91025 Int. J. Game Theory 47, No. 1, 207-227 (2018). Reviewer: Sirma Zeynep Alparslan-Gok (Isparta) MSC: 91A12 91B54 PDF BibTeX XML Cite \textit{S. Gonzalez} and \textit{A. Lardon}, Int. J. Game Theory 47, No. 1, 207--227 (2018; Zbl 1407.91025) Full Text: DOI
Kongo, Takumi Effects of players’ nullification and equal (surplus) division values. (English) Zbl 1398.91040 Int. Game Theory Rev. 20, No. 1, Article ID 1750029, 14 p. (2018). MSC: 91A12 91A06 PDF BibTeX XML Cite \textit{T. Kongo}, Int. Game Theory Rev. 20, No. 1, Article ID 1750029, 14 p. (2018; Zbl 1398.91040) Full Text: DOI
Wille, Matthias Gottlob Frege. Begriffsschrift, a formula language of pure thought modelled on that of arithmetic. (Gottlob Frege. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.) (German) Zbl 1403.01004 Klassische Texte der Wissenschaft. Berlin: Springer Spektrum (ISBN 978-3-662-45010-9/hbk; 978-3-662-45011-6/ebook). x, 344 p. (2018). Reviewer: Volker Peckhaus (Paderborn) MSC: 01-02 01A75 01A55 00A30 03-03 03A05 03A10 PDF BibTeX XML Cite \textit{M. Wille}, Gottlob Frege. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Berlin: Springer Spektrum (2018; Zbl 1403.01004) Full Text: DOI
Couceiro, Miguel; Devillet, Jimmy; Marichal, Jean-Luc Characterizations of idempotent discrete uninorms. (English) Zbl 1380.03043 Fuzzy Sets Syst. 334, 60-72 (2018). MSC: 03E72 PDF BibTeX XML Cite \textit{M. Couceiro} et al., Fuzzy Sets Syst. 334, 60--72 (2018; Zbl 1380.03043) Full Text: DOI
Egrot, Rob No finite axiomatizations for posets embeddable into distributive lattices. (English) Zbl 06824132 Ann. Pure Appl. Logic 169, No. 3, 235-242 (2018). MSC: 03C98 06A11 06A06 03B70 PDF BibTeX XML Cite \textit{R. Egrot}, Ann. Pure Appl. Logic 169, No. 3, 235--242 (2018; Zbl 06824132) Full Text: DOI
Chen, Qingliang; Huang, Xiaowei; Su, Kaile; Sattar, Abdul Quantified coalition logic of knowledge, belief and certainty. (English) Zbl 07228723 Mouhoub, Malek (ed.) et al., Advances in artificial intelligence. 30th Canadian conference on artificial intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57350-2/pbk; 978-3-319-57351-9/ebook). Lecture Notes in Computer Science 10233. Lecture Notes in Artificial Intelligence, 351-360 (2017). MSC: 68T27 03B42 68Q17 68T30 PDF BibTeX XML Cite \textit{Q. Chen} et al., Lect. Notes Comput. Sci. 10233, 351--360 (2017; Zbl 07228723) Full Text: DOI
Khan, Md. Aquil A probabilistic approach to rough set theory with modal logic perspective. (English) Zbl 1429.68290 Inf. Sci. 406-407, 170-184 (2017). MSC: 68T37 68T27 PDF BibTeX XML Cite \textit{Md. A. Khan}, Inf. Sci. 406--407, 170--184 (2017; Zbl 1429.68290) Full Text: DOI
Yokote, Koji; Kongo, Takumi The balanced contributions property for symmetric players. (English) Zbl 1409.91025 Oper. Res. Lett. 45, No. 3, 227-231 (2017). MSC: 91A12 91B32 PDF BibTeX XML Cite \textit{K. Yokote} and \textit{T. Kongo}, Oper. Res. Lett. 45, No. 3, 227--231 (2017; Zbl 1409.91025) Full Text: DOI
Hannula, Miika; Kontinen, Juha; Link, Sebastian On the interaction of inclusion dependencies with independence atoms. (English) Zbl 1403.68053 Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 212-226 (2017). MSC: 68P15 03B70 PDF BibTeX XML Cite \textit{M. Hannula} et al., EPiC Ser. Comput. 46, 212--226 (2017; Zbl 1403.68053) Full Text: DOI
Bashmakov, S. I.; Golovanov, M. I. Axiomatization of intuitionistic logics defined by small frames. (Russian. English summary) Zbl 1413.03001 Mat. Zamet. SVFU 24, No. 1, 6-15 (2017). MSC: 03B20 PDF BibTeX XML Cite \textit{S. I. Bashmakov} and \textit{M. I. Golovanov}, Mat. Zamet. SVFU 24, No. 1, 6--15 (2017; Zbl 1413.03001) Full Text: MNR
Liao, Yu-Hsien Fuzzy games: a complement-consistent solution, axiomatizations and dynamic approaches. (English) Zbl 1429.91026 Fuzzy Optim. Decis. Mak. 16, No. 3, 257-268 (2017). MSC: 91A12 PDF BibTeX XML Cite \textit{Y.-H. Liao}, Fuzzy Optim. Decis. Mak. 16, No. 3, 257--268 (2017; Zbl 1429.91026) Full Text: DOI
Platzer, André A complete uniform substitution calculus for differential dynamic logic. (English) Zbl 1437.03119 J. Autom. Reasoning 59, No. 2, 219-265 (2017). MSC: 03B70 03B35 68N30 68Q60 68V15 PDF BibTeX XML Cite \textit{A. Platzer}, J. Autom. Reasoning 59, No. 2, 219--265 (2017; Zbl 1437.03119) Full Text: DOI
Naumov, Pavel; Tao, Jia Information flow under budget constraints. (English) Zbl 1407.03048 ACM Trans. Comput. Log. 18, No. 4, Article No. 32, 26 p. (2017). MSC: 03B70 68P15 PDF BibTeX XML Cite \textit{P. Naumov} and \textit{J. Tao}, ACM Trans. Comput. Log. 18, No. 4, Article No. 32, 26 p. (2017; Zbl 1407.03048) Full Text: DOI
Bergfeld, Jort Martinus; Sack, Joshua Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs. (English) Zbl 1387.81146 Soft Comput. 21, No. 6, 1421-1441 (2017). MSC: 81P68 81P10 03G12 PDF BibTeX XML Cite \textit{J. M. Bergfeld} and \textit{J. Sack}, Soft Comput. 21, No. 6, 1421--1441 (2017; Zbl 1387.81146) Full Text: DOI
Doder, Dragan; Ognjanović, Zoran Probabilistic logics with independence and confirmation. (English) Zbl 1417.03171 Stud. Log. 105, No. 5, 943-969 (2017). MSC: 03B48 03B25 PDF BibTeX XML Cite \textit{D. Doder} and \textit{Z. Ognjanović}, Stud. Log. 105, No. 5, 943--969 (2017; Zbl 1417.03171) Full Text: DOI
Álvarez-Mozos, M.; van den Brink, R.; Van der Laan, G.; Tejada, O. From hierarchies to levels: new solutions for games with hierarchical structure. (English) Zbl 1411.91036 Int. J. Game Theory 46, No. 4, 1089-1113 (2017). MSC: 91A12 91A65 PDF BibTeX XML Cite \textit{M. Álvarez-Mozos} et al., Int. J. Game Theory 46, No. 4, 1089--1113 (2017; Zbl 1411.91036) Full Text: DOI
Sun, Panfei; Hou, Dongshuang; Sun, Hao; Zhang, Hui Process and optimization implementation of the \(\alpha \)-ENSC value. (English) Zbl 1411.91049 Math. Methods Oper. Res. 86, No. 2, 293-308 (2017). MSC: 91A12 91A06 91B32 PDF BibTeX XML Cite \textit{P. Sun} et al., Math. Methods Oper. Res. 86, No. 2, 293--308 (2017; Zbl 1411.91049) Full Text: DOI
Ågotnes, Thomas; Wáng, Yì N. Resolving distributed knowledge. (English) Zbl 1419.68103 Artif. Intell. 252, 1-21 (2017). MSC: 68T27 03B42 68T30 PDF BibTeX XML Cite \textit{T. Ågotnes} and \textit{Y. N. Wáng}, Artif. Intell. 252, 1--21 (2017; Zbl 1419.68103) Full Text: DOI
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran Logics with lower and upper probability operators. (English) Zbl 1422.03042 Int. J. Approx. Reasoning 88, 148-168 (2017). MSC: 03B48 PDF BibTeX XML Cite \textit{N. Savić} et al., Int. J. Approx. Reasoning 88, 148--168 (2017; Zbl 1422.03042) Full Text: DOI
Radzik, Tadeusz On an extension of the concept of TU-games and their values. (English) Zbl 1411.91047 Math. Methods Oper. Res. 86, No. 1, 149-170 (2017). MSC: 91A12 91A18 PDF BibTeX XML Cite \textit{T. Radzik}, Math. Methods Oper. Res. 86, No. 1, 149--170 (2017; Zbl 1411.91047) Full Text: DOI
Abriola, Sergio; Descotte, María Emilia; Fervari, Raul; Figueira, Santiago Axiomatizations for downward XPath on data trees. (English) Zbl 1372.68077 J. Comput. Syst. Sci. 89, 209-245 (2017). MSC: 68P15 03B70 PDF BibTeX XML Cite \textit{S. Abriola} et al., J. Comput. Syst. Sci. 89, 209--245 (2017; Zbl 1372.68077) Full Text: DOI
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran A first-order logic for reasoning about higher-order upper and lower probabilities. (English) Zbl 06769624 Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-61580-6/pbk; 978-3-319-61581-3/ebook). Lecture Notes in Computer Science 10369. Lecture Notes in Artificial Intelligence, 491-500 (2017). MSC: 68T37 PDF BibTeX XML Cite \textit{N. Savić} et al., Lect. Notes Comput. Sci. 10369, 491--500 (2017; Zbl 06769624) Full Text: DOI
Egrot, Rob Non-elementary classes of representable posets. (English) Zbl 1423.06010 Proc. Am. Math. Soc. 145, No. 11, 4675-4685 (2017). MSC: 06A11 03G10 03C20 PDF BibTeX XML Cite \textit{R. Egrot}, Proc. Am. Math. Soc. 145, No. 11, 4675--4685 (2017; Zbl 1423.06010) Full Text: DOI
Bjorndahl, A.; Halpern, J. Y.; Pass, R. Reasoning about rationality. (English) Zbl 1393.91015 Games Econ. Behav. 104, 146-164 (2017). MSC: 91A26 91A35 PDF BibTeX XML Cite \textit{A. Bjorndahl} et al., Games Econ. Behav. 104, 146--164 (2017; Zbl 1393.91015) Full Text: DOI
Triska, Jan; Vychodil, Vilem Logic of temporal attribute implications. (English) Zbl 1409.68283 Ann. Math. Artif. Intell. 79, No. 4, 307-335 (2017). MSC: 68T27 68Q25 68T30 PDF BibTeX XML Cite \textit{J. Triska} and \textit{V. Vychodil}, Ann. Math. Artif. Intell. 79, No. 4, 307--335 (2017; Zbl 1409.68283) Full Text: DOI
Anchugina, Nina A simple framework for the axiomatization of exponential and quasi-hyperbolic discounting. (English) Zbl 1395.91175 Theory Decis. 82, No. 2, 185-210 (2017). MSC: 91B16 PDF BibTeX XML Cite \textit{N. Anchugina}, Theory Decis. 82, No. 2, 185--210 (2017; Zbl 1395.91175) Full Text: DOI
Panicker, Gayatri; Krishna, K. V.; Bhaduri, Purandar Axiomatization of if-then-else over possibly non-halting programs and tests. (English) Zbl 1365.68165 Int. J. Algebra Comput. 27, No. 3, 273-297 (2017). MSC: 68N30 PDF BibTeX XML Cite \textit{G. Panicker} et al., Int. J. Algebra Comput. 27, No. 3, 273--297 (2017; Zbl 1365.68165) Full Text: DOI
Peleg, Bezalel; Peters, Hans Choosing \(k\) from \(m\): feasible elimination procedures reconsidered. (English) Zbl 1393.91059 Games Econ. Behav. 103, 254-261 (2017). MSC: 91B14 PDF BibTeX XML Cite \textit{B. Peleg} and \textit{H. Peters}, Games Econ. Behav. 103, 254--261 (2017; Zbl 1393.91059) Full Text: DOI
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua Instantial neighbourhood logic. (English) Zbl 1417.03162 Rev. Symb. Log. 10, No. 1, 116-144 (2017). MSC: 03B45 PDF BibTeX XML Cite \textit{J. van Benthem} et al., Rev. Symb. Log. 10, No. 1, 116--144 (2017; Zbl 1417.03162) Full Text: DOI