Landes, Jürgen; Rad, Soroush Rafiee; Williamson, Jon Towards the entropy-limit conjecture. (English) Zbl 07285670 Ann. Pure Appl. Logic 172, No. 2, Article ID 102870, 39 p. (2021). MSC: 03A10 03B60 03B42 60A05 PDF BibTeX XML Cite \textit{J. Landes} et al., Ann. Pure Appl. Logic 172, No. 2, Article ID 102870, 39 p. (2021; Zbl 07285670) Full Text: DOI
Wei, Zheng; Li, Baokun; Wang, Tonghui The joint distribution of the discrete random set vector and bivariate coarsening at random models. (English) Zbl 1451.62174 Kreinovich, Vladik (ed.), Statistical and fuzzy approaches to data processing, with applications to econometrics and other areas. In honor of Hung T. Nguyen’s 75th birthday. Cham: Springer. Stud. Comput. Intell. 892, 247-265 (2021). MSC: 62R07 62H05 62H10 PDF BibTeX XML Cite \textit{Z. Wei} et al., Stud. Comput. Intell. 892, 247--265 (2021; Zbl 1451.62174) Full Text: DOI
Bamber, Donald A Bayesian dilemma. (English) Zbl 1451.62006 Kreinovich, Vladik (ed.), Statistical and fuzzy approaches to data processing, with applications to econometrics and other areas. In honor of Hung T. Nguyen’s 75th birthday. Cham: Springer. Stud. Comput. Intell. 892, 15-29 (2021). MSC: 62A01 62C10 PDF BibTeX XML Cite \textit{D. Bamber}, Stud. Comput. Intell. 892, 15--29 (2021; Zbl 1451.62006) Full Text: DOI
Toader, Julian D. Categoricity and possibility. A note on Williamson’s modal monism. (English) Zbl 07307100 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 221-231 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{J. D. Toader}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 221--231 (2020; Zbl 07307100)
Tedder, Andrew A classical bimodal logic with varying essences. (English) Zbl 07307099 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 205-220 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{A. Tedder}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 205--220 (2020; Zbl 07307099)
Švejdar, Vítězslav Do we need recursion? (English) Zbl 07307098 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 193-204 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{V. Švejdar}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 193--204 (2020; Zbl 07307098)
Su, Youan; Sano, Katsuhiko Cut-free and analytic sequent calculus of intuitionistic epistemic logic. (English) Zbl 07307097 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 179-192 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{Y. Su} and \textit{K. Sano}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 179--192 (2020; Zbl 07307097)
Stovall, Preston Proof-theoretic semantics and the interpretation of atomic sentences. (English) Zbl 07307096 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 163-177 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{P. Stovall}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 163--177 (2020; Zbl 07307096)
Smith, Nicholas J. J. Alethic pluralism and logical consequence. (English) Zbl 07307095 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 147-161 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{N. J. J. Smith}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 147--161 (2020; Zbl 07307095)
Sequoiah-Grayson, Sebastian Negation on the neo-Australian plan. (English) Zbl 07307094 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 131-145 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{S. Sequoiah-Grayson}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 131--145 (2020; Zbl 07307094)
Ripley, David Strong normalization in core type theory. (English) Zbl 07307093 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 111-129 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{D. Ripley}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 111--129 (2020; Zbl 07307093)
Raidl, Eric Revision operator semantics: some order for the zoo of conditionals. (English) Zbl 07307092 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 93-110 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{E. Raidl}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 93--110 (2020; Zbl 07307092)
Martin-Löf, Per Logic and ethics. (English) Zbl 07307091 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 83-92 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{P. Martin-Löf}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 83--92 (2020; Zbl 07307091)
Hlobil, Ulf Expressing validity: towards a self-sufficient inferentialism. (English) Zbl 07307090 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 67-81 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{U. Hlobil}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 67--81 (2020; Zbl 07307090)
Guerrieri, Giulio; Naibo, Alberto The problem of harmony in classical logic. (English) Zbl 07307089 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 49-65 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{G. Guerrieri} and \textit{A. Naibo}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 49--65 (2020; Zbl 07307089)
Engler, Mirko Relative interpretations and substitutional definitions of logical truth and consequence. (English) Zbl 07307088 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 33-47 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{M. Engler}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 33--47 (2020; Zbl 07307088)
Brausch, Simon Dialogical criteria of adequate formalisation. (English) Zbl 07307087 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 17-31 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{S. Brausch}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 17--31 (2020; Zbl 07307087)
Běhounek, Libor A degree-theoretic framework for feasible knowledge. (English) Zbl 07307086 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 1-15 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{L. Běhounek}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 1--15 (2020; Zbl 07307086)
Jamison, Julian Valuable cheap talk and equilibrium selection. (English) Zbl 07301445 Games 11, No. 3, Paper No. 34, 14 p. (2020). MSC: 91A28 91A20 PDF BibTeX XML Cite \textit{J. Jamison}, Games 11, No. 3, Paper No. 34, 14 p. (2020; Zbl 07301445) Full Text: DOI
Kostelic, Katarina Guessing the game: an individual’s awareness and assessment of a game’s existence. (English) Zbl 07301428 Games 11, No. 2, Paper No. 17, 28 p. (2020). MSC: 91A40 PDF BibTeX XML Cite \textit{K. Kostelic}, Games 11, No. 2, Paper No. 17, 28 p. (2020; Zbl 07301428) Full Text: DOI
Machado, Vitor; Benevides, Mario Populational announcement logic (PPAL). (English) Zbl 07297794 Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 348, 105-123 (2020). MSC: 03B42 68T30 PDF BibTeX XML Cite \textit{V. Machado} and \textit{M. Benevides}, Electron. Notes Theor. Comput. Sci. 348, 105--123 (2020; Zbl 07297794) Full Text: DOI
Peng, Ling; Kloeden, Peter E. A solution method for heterogeneity involving present bias. (English) Zbl 07297591 Optim. Eng. 21, No. 3, 1167-1194 (2020). MSC: 91G99 91B08 PDF BibTeX XML Cite \textit{L. Peng} and \textit{P. E. Kloeden}, Optim. Eng. 21, No. 3, 1167--1194 (2020; Zbl 07297591) Full Text: DOI
Fang, Weijie; Yin, Zefeng; Gong, Xiaoting; Lan, Yixin; Fu, Yanggeng A new calculation method of rule active weight for conjunction belief rule-base based on uncertainty theory. (Chinese. English summary) Zbl 07295246 J. Fuzhou Univ., Nat. Sci. 48, No. 3, 283-288 (2020). MSC: 68T37 PDF BibTeX XML Cite \textit{W. Fang} et al., J. Fuzhou Univ., Nat. Sci. 48, No. 3, 283--288 (2020; Zbl 07295246) Full Text: DOI
Habibulla, Yusupjan Statistical mechanics of the directed 2-distance minimal dominating set problem. (English) Zbl 1451.82034 Commun. Theor. Phys. 72, No. 9, Article ID 095602, 8 p. (2020). MSC: 82C20 90C35 05C80 81Q35 PDF BibTeX XML Cite \textit{Y. Habibulla}, Commun. Theor. Phys. 72, No. 9, Article ID 095602, 8 p. (2020; Zbl 1451.82034) Full Text: DOI
Aravanis, Theofanis On uniform belief revision. (English) Zbl 07285873 J. Log. Comput. 30, No. 7, 1357-1376 (2020). MSC: 03B42 PDF BibTeX XML Cite \textit{T. Aravanis}, J. Log. Comput. 30, No. 7, 1357--1376 (2020; Zbl 07285873) Full Text: DOI
Garapa, Marco; Fermé, Eduardo; Reis, Maurício Credibility-limited base revision: new classes and their characterizations. (English) Zbl 07283371 J. Artif. Intell. Res. (JAIR) 69, 1023-1075 (2020). MSC: 68T PDF BibTeX XML Cite \textit{M. Garapa} et al., J. Artif. Intell. Res. (JAIR) 69, 1023--1075 (2020; Zbl 07283371) Full Text: DOI
Aravanis, Theofanis I. Strengthening parametrized-difference belief revision. (English) Zbl 07270430 Bull. Hell. Math. Soc. 64, 69-91 (2020). MSC: 03B42 68T27 PDF BibTeX XML Cite \textit{T. I. Aravanis}, Bull. Hell. Math. Soc. 64, 69--91 (2020; Zbl 07270430) Full Text: Link
Borges, Nerio; Pérez, Ramón Pino Belief change and 3-valued logics: characterization of 19,683 belief change operators. (English) Zbl 07269315 J. Artif. Intell. Res. (JAIR) 69, 657-685 (2020). MSC: 68T PDF BibTeX XML Cite \textit{N. Borges} and \textit{R. P. Pérez}, J. Artif. Intell. Res. (JAIR) 69, 657--685 (2020; Zbl 07269315) Full Text: DOI
Aravanis, Theofanis I.; Peppas, Pavlos; Williams, Mary-Anne Incompatibilities between iterated and relevance-sensitive belief revision. (English) Zbl 07269302 J. Artif. Intell. Res. (JAIR) 69, 85-108 (2020). MSC: 68T PDF BibTeX XML Cite \textit{T. I. Aravanis} et al., J. Artif. Intell. Res. (JAIR) 69, 85--108 (2020; Zbl 07269302) Full Text: DOI
Ji, Guangyue Guangdong population prediction based on improved chaotic whale algorithm for optimizing DBN. (Chinese. English summary) Zbl 07266617 Fuzzy Syst. Math. 34, No. 2, 164-174 (2020). MSC: 91D20 90C59 PDF BibTeX XML Cite \textit{G. Ji}, Fuzzy Syst. Math. 34, No. 2, 164--174 (2020; Zbl 07266617)
Peng, Kaixiang; Pi, Yanting; Jiao, Ruihua; Tang, Peng Health indicator construction and remaining useful life prediction for aircraft engine. (Chinese. English summary) Zbl 07266533 Control Theory Appl. 37, No. 4, 713-720 (2020). MSC: 62N05 90B25 62M20 62M05 62P30 PDF BibTeX XML Cite \textit{K. Peng} et al., Control Theory Appl. 37, No. 4, 713--720 (2020; Zbl 07266533) Full Text: DOI
Murai, Ryo; Sano, Katsuhiko Craig interpolation of epistemic logics with distributed knowledge. (English) Zbl 07266054 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 211-221 (2020). MSC: 03B42 03C40 PDF BibTeX XML Cite \textit{R. Murai} and \textit{K. Sano}, Lect. Notes Comput. Sci. 12012, 211--221 (2020; Zbl 07266054) Full Text: DOI
Ye, Fei-Fei; Wang, Suhui; Nicholl, Peter; Yang, Long-Hao; Wang, Ying-Ming Extended belief rule-based model for environmental investment prediction with indicator ensemble selection. (English) Zbl 07264294 Int. J. Approx. Reasoning 126, 290-307 (2020). MSC: 68T37 PDF BibTeX XML Cite \textit{F.-F. Ye} et al., Int. J. Approx. Reasoning 126, 290--307 (2020; Zbl 07264294) Full Text: DOI
Wójcik, Arkadiusz The dynamic epistemic logic for actual knowledge. (English) Zbl 1446.03039 Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 1, 79-96 (2020). MSC: 03B42 03B45 PDF BibTeX XML Cite \textit{A. Wójcik}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 1, 79--96 (2020; Zbl 1446.03039) Full Text: DOI
Singh, Surender; Sharma, Sonam; Ganie, Abdul Haseeb On generalized knowledge measure and generalized accuracy measure with applications to MADM and pattern recognition. (English) Zbl 07261298 Comput. Appl. Math. 39, No. 3, Paper No. 231, 44 p. (2020). MSC: 03B42 68T37 PDF BibTeX XML Cite \textit{S. Singh} et al., Comput. Appl. Math. 39, No. 3, Paper No. 231, 44 p. (2020; Zbl 07261298) Full Text: DOI
Kamper, Francois; Steel, Sarel J.; Du Preez, Johan A. Regularized Gaussian belief propagation with nodes of arbitrary size. (English) Zbl 07255132 J. Mach. Learn. Res. 21, Paper No. 101, 42 p. (2020). MSC: 68T05 PDF BibTeX XML Cite \textit{F. Kamper} et al., J. Mach. Learn. Res. 21, Paper No. 101, 42 p. (2020; Zbl 07255132) Full Text: Link
Yang, Qiqi; Zhang, Zhaorong; Fu, Minyue Distributed weighted least-squares estimation for networked systems with edge measurements. (English) Zbl 1448.93352 Automatica 120, Article ID 109091, 5 p. (2020). MSC: 93E24 93A15 93B70 93C05 68W15 PDF BibTeX XML Cite \textit{Q. Yang} et al., Automatica 120, Article ID 109091, 5 p. (2020; Zbl 1448.93352) Full Text: DOI
Tomović, S.; Ognjanović, Z.; Doder, D. A first-order logic for reasoning about knowledge and probability. (English) Zbl 1446.03038 ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020). MSC: 03B42 03B48 68T27 68T42 PDF BibTeX XML Cite \textit{S. Tomović} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020; Zbl 1446.03038) Full Text: DOI
Raclavský, Jiří Belief attitudes, fine-grained hyperintensionality and type-theoretic logic. (English) Zbl 07241861 Studies in Logic (London) 88. London: College Publications (ISBN 978-1-84890-334-0). (2020). MSC: 03-02 03A05 03B42 PDF BibTeX XML
Cason, Timothy N.; Sharma, Tridib; Vadovič, Radovan Correlated beliefs: predicting outcomes in \(2\times 2\) games. (English) Zbl 1447.91034 Games Econ. Behav. 122, 256-276 (2020). MSC: 91A90 91A05 PDF BibTeX XML Cite \textit{T. N. Cason} et al., Games Econ. Behav. 122, 256--276 (2020; Zbl 1447.91034) Full Text: DOI
Tao, Zhiyong; Li, Yan Modified self-corrected min-sum algorithm based on variable node update. (Chinese. English summary) Zbl 1449.94085 J. Yunnan Univ., Nat. Sci. 42, No. 2, 252-258 (2020). MSC: 94B35 PDF BibTeX XML Cite \textit{Z. Tao} and \textit{Y. Li}, J. Yunnan Univ., Nat. Sci. 42, No. 2, 252--258 (2020; Zbl 1449.94085) Full Text: DOI
Krupskiĭ, Vladimir Nikolaevich The sharpness property of justification logic. (English. Russian original) Zbl 1446.03037 Mosc. Univ. Math. Bull. 75, No. 1, 49-52 (2020); translation from Vestn. Mosk. Univ., Ser. I 75, No. 1, 71-75 (2020). MSC: 03B42 PDF BibTeX XML Cite \textit{V. N. Krupskiĭ}, Mosc. Univ. Math. Bull. 75, No. 1, 49--52 (2020; Zbl 1446.03037); translation from Vestn. Mosk. Univ., Ser. I 75, No. 1, 71--75 (2020) Full Text: DOI
Booth, Richard; Chandler, Jake On strengthening the logic of iterated belief revision: proper ordinal interval operators. (English) Zbl 07228997 Artif. Intell. 285, Article ID 103289, 30 p. (2020). MSC: 03B42 PDF BibTeX XML Cite \textit{R. Booth} and \textit{J. Chandler}, Artif. Intell. 285, Article ID 103289, 30 p. (2020; Zbl 07228997) 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
Garapa, Marco; Reis, Maurício D. L. Residual contraction. (English) Zbl 07227684 J. Logic Lang. Inf. 29, No. 2, 255-274 (2020). MSC: 03 68 PDF BibTeX XML Cite \textit{M. Garapa} and \textit{M. D. L. Reis}, J. Logic Lang. Inf. 29, No. 2, 255--274 (2020; Zbl 07227684) Full Text: DOI
Chi, Yichun; Zhuang, Sheng Chao Optimal insurance with belief heterogeneity and incentive compatibility. (English) Zbl 1445.91052 Insur. Math. Econ. 92, 104-114 (2020). MSC: 91G05 PDF BibTeX XML Cite \textit{Y. Chi} and \textit{S. C. Zhuang}, Insur. Math. Econ. 92, 104--114 (2020; Zbl 1445.91052) Full Text: DOI
Germano, Fabrizio; Weinstein, Jonathan; Zuazo-Garin, Peio Uncertain rationality, depth of reasoning and robustness in games with incomplete information. (English) Zbl 1445.91008 Theor. Econ. 15, No. 1, 89-122 (2020). MSC: 91A27 91A26 PDF BibTeX XML Cite \textit{F. Germano} et al., Theor. Econ. 15, No. 1, 89--122 (2020; Zbl 1445.91008) Full Text: DOI
Correia, Fabrice; Rosenkranz, Sven The formalities of temporaryism without presentness. (English) Zbl 07222686 Notre Dame J. Formal Logic 61, No. 2, 181-202 (2020). MSC: 03B45 03B42 03B44 03F45 00A30 03A10 03B44 83A99 00A79 PDF BibTeX XML Cite \textit{F. Correia} and \textit{S. Rosenkranz}, Notre Dame J. Formal Logic 61, No. 2, 181--202 (2020; Zbl 07222686) Full Text: DOI Euclid
Dombi, József; Jónás, Tamás The \(\lambda \)-additive measure in a new light: the \(Q_{\nu }\) measure and its connections with belief, probability, plausibility, rough sets, multi-attribute utility functions and fuzzy operators. (English) Zbl 1436.28012 Soft Comput. 24, No. 6, 4523-4543 (2020). MSC: 28E10 60A10 68T37 91B16 PDF BibTeX XML Cite \textit{J. Dombi} and \textit{T. Jónás}, Soft Comput. 24, No. 6, 4523--4543 (2020; Zbl 1436.28012) Full Text: DOI
Balch, Michael Scott New two-sided confidence intervals for binomial inference derived using Walley’s imprecise posterior likelihood as a test statistic. (English) Zbl 1445.68214 Int. J. Approx. Reasoning 123, 77-98 (2020). MSC: 68T37 62F25 PDF BibTeX XML Cite \textit{M. S. Balch}, Int. J. Approx. Reasoning 123, 77--98 (2020; Zbl 1445.68214) Full Text: DOI
Baldi, Paolo; Hosni, Hykel Depth-bounded belief functions. (English) Zbl 1445.68215 Int. J. Approx. Reasoning 123, 26-40 (2020). MSC: 68T37 PDF BibTeX XML Cite \textit{P. Baldi} and \textit{H. Hosni}, Int. J. Approx. Reasoning 123, 26--40 (2020; Zbl 1445.68215) Full Text: DOI
Dubois, Didier; Faux, Francis; Prade, Henri Prejudice in uncertain information merging: pushing the fusion paradigm of evidence theory further. (English) Zbl 1445.68208 Int. J. Approx. Reasoning 121, 1-22 (2020). MSC: 68T30 68T37 PDF BibTeX XML Cite \textit{D. Dubois} et al., Int. J. Approx. Reasoning 121, 1--22 (2020; Zbl 1445.68208) Full Text: DOI
Embrechts, Paul; Liu, Haiyan; Mao, Tiantian; Wang, Ruodu Quantile-based risk sharing with heterogeneous beliefs. (English) Zbl 1443.91102 Math. Program. 181, No. 2 (B), 319-347 (2020). MSC: 91B05 91G70 62P20 PDF BibTeX XML Cite \textit{P. Embrechts} et al., Math. Program. 181, No. 2 (B), 319--347 (2020; Zbl 1443.91102) Full Text: DOI
Smets, Sonja; Velázquez-Quesada, Fernando R. A closeness- and priority-based logical study of social network creation. (English) Zbl 1435.91139 J. Logic Lang. Inf. 29, No. 1, 21-51 (2020). MSC: 91D30 03B42 03B80 PDF BibTeX XML Cite \textit{S. Smets} and \textit{F. R. Velázquez-Quesada}, J. Logic Lang. Inf. 29, No. 1, 21--51 (2020; Zbl 1435.91139) Full Text: DOI
Gao, Hong; Xu, Haibo Learning, belief manipulation and optimal relationship termination. (English) Zbl 1437.91266 Econ. Lett. 190, Article ID 109108, 5 p. (2020). MSC: 91B43 91A25 91A80 PDF BibTeX XML Cite \textit{H. Gao} and \textit{H. Xu}, Econ. Lett. 190, Article ID 109108, 5 p. (2020; Zbl 1437.91266) Full Text: DOI
Maddy, Penelope The logical must. Wittgenstein on logic. Reprint of the 2014 hardback edition. (English) Zbl 1434.03003 Oxford: Oxford University Press (ISBN 978-0-19-751178-7/pbk). x, 135 p. (2020). MSC: 03-02 03A05 00A30 01A70 03B42 03-03 01A60 PDF BibTeX XML Cite \textit{P. Maddy}, The logical must. Wittgenstein on logic. Reprint of the 2014 hardback edition. Oxford: Oxford University Press (2020; Zbl 1434.03003) Full Text: DOI
Guarino, Pierfrancesco An epistemic analysis of dynamic games with unawareness. (English) Zbl 1437.91085 Games Econ. Behav. 120, 257-288 (2020). MSC: 91A25 91A26 PDF BibTeX XML Cite \textit{P. Guarino}, Games Econ. Behav. 120, 257--288 (2020; Zbl 1437.91085) Full Text: DOI
Lehmann, Eveline; Studer, Thomas Belief expansion in subset models. (English) Zbl 07197407 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 85-97 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{E. Lehmann} and \textit{T. Studer}, Lect. Notes Comput. Sci. 11972, 85--97 (2020; Zbl 07197407) Full Text: DOI
Karni, Edi A mechanism for the elicitation of second-order belief and subjective information structure. (English) Zbl 1437.91147 Econ. Theory 69, No. 1, 217-232 (2020). MSC: 91B06 PDF BibTeX XML Cite \textit{E. Karni}, Econ. Theory 69, No. 1, 217--232 (2020; Zbl 1437.91147) Full Text: DOI
Topolyan, Iryna On common belief in future rationality in games with ambiguous orderings of information sets. (English) Zbl 1434.91017 Dyn. Games Appl. 10, No. 1, 183-201 (2020). MSC: 91A26 91A25 PDF BibTeX XML Cite \textit{I. Topolyan}, Dyn. Games Appl. 10, No. 1, 183--201 (2020; Zbl 1434.91017) Full Text: DOI
Le Roux, Stéphane; Pauly, Arno A semi-potential for finite and infinite games in extensive form. (English) Zbl 1434.91011 Dyn. Games Appl. 10, No. 1, 120-144 (2020). MSC: 91A18 91A20 PDF BibTeX XML Cite \textit{S. Le Roux} and \textit{A. Pauly}, Dyn. Games Appl. 10, No. 1, 120--144 (2020; Zbl 1434.91011) Full Text: DOI
Gyenis, Zalán Standard Bayes logic is not finitely axiomatizable. (English) Zbl 1452.03051 Rev. Symb. Log. 13, No. 2, 326-337 (2020). Reviewer: Branislav Boričić (Beograd) MSC: 03B42 03B45 03A10 PDF BibTeX XML Cite \textit{Z. Gyenis}, Rev. Symb. Log. 13, No. 2, 326--337 (2020; Zbl 1452.03051) Full Text: DOI
Li, Ying Xue; Schipper, Burkhard C. Strategic reasoning in persuasion games: an experiment. (English) Zbl 1437.91123 Games Econ. Behav. 121, 329-367 (2020). MSC: 91A90 91A28 91A26 PDF BibTeX XML Cite \textit{Y. X. Li} and \textit{B. C. Schipper}, Games Econ. Behav. 121, 329--367 (2020; Zbl 1437.91123) Full Text: DOI
Fukuda, Satoshi Formalizing common belief with no underlying assumption on individual beliefs. (English) Zbl 1437.91143 Games Econ. Behav. 121, 169-189 (2020). MSC: 91B06 91A26 PDF BibTeX XML Cite \textit{S. Fukuda}, Games Econ. Behav. 121, 169--189 (2020; Zbl 1437.91143) Full Text: DOI
Takemura, Ryo Economic reasoning with demand and supply graphs. (English) Zbl 1437.91262 Math. Soc. Sci. 103, 25-35 (2020). MSC: 91B42 03B42 PDF BibTeX XML Cite \textit{R. Takemura}, Math. Soc. Sci. 103, 25--35 (2020; Zbl 1437.91262) Full Text: DOI
van Zee, Marc; Doder, Dragan; van der Torre, Leendert; Dastani, Mehdi; Icard, Thomas; Pacuit, Eric Intention as commitment toward time. (English) Zbl 1435.03038 Artif. Intell. 283, Article ID 103270, 31 p. (2020). MSC: 03B42 03B70 PDF BibTeX XML Cite \textit{M. van Zee} et al., Artif. Intell. 283, Article ID 103270, 31 p. (2020; Zbl 1435.03038) 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
Conway, J. H.; Paterson, M. S.; Moscow, U.S.S.R. A headache-causing problem. (English) Zbl 1433.00008 Am. Math. Mon. 127, No. 4, 291-296 (2020). MSC: 00A08 03B42 PDF BibTeX XML Cite \textit{J. H. Conway} et al., Am. Math. Mon. 127, No. 4, 291--296 (2020; Zbl 1433.00008) Full Text: DOI
Bakhtiari, Zeinab; van Ditmarsch, Hans; Rivieccio, Umberto Bilattice logic of epistemic actions and knowledge. (English) Zbl 07189162 Ann. Pure Appl. Logic 171, No. 6, Article ID 102790, 27 p. (2020). MSC: 03B42 PDF BibTeX XML Cite \textit{Z. Bakhtiari} et al., Ann. Pure Appl. Logic 171, No. 6, Article ID 102790, 27 p. (2020; Zbl 07189162) Full Text: DOI
Moretti, Luca Seemings and epistemic justification. How appearances justify beliefs. (English) Zbl 1435.03006 SpringerBriefs in Philosophy. Cham: Springer (ISBN 978-3-030-43391-8/pbk; 978-3-030-43392-5/ebook). viii, 91 p. (2020). MSC: 03-02 03A05 03B42 PDF BibTeX XML Cite \textit{L. Moretti}, Seemings and epistemic justification. How appearances justify beliefs. Cham: Springer (2020; Zbl 1435.03006) Full Text: DOI
Raidl, Eric; Spohn, Wolfgang An accuracy argument in favor of ranking theory. (English) Zbl 07188092 J. Philos. Log. 49, No. 2, 283-313 (2020). MSC: 03 PDF BibTeX XML Cite \textit{E. Raidl} and \textit{W. Spohn}, J. Philos. Log. 49, No. 2, 283--313 (2020; Zbl 07188092) Full Text: DOI
Abdelrazeq, Ibrahim; Al-Labadi, Luai; Alzaatreh, Ayman On one-sample Bayesian tests for the mean. (English) Zbl 1436.62072 Statistics 54, No. 2, 424-440 (2020). Reviewer: Rózsa Horváth-Bokor (Budakalász) MSC: 62F03 62F15 PDF BibTeX XML Cite \textit{I. Abdelrazeq} et al., Statistics 54, No. 2, 424--440 (2020; Zbl 1436.62072) Full Text: DOI
Maschler, Michael; Solan, Eilon; Zamir, Shmuel Game theory. Translated from the Hebrew by Ziv Hellman and edited by Mike Borns. 2nd edition. (English) Zbl 1440.91002 Cambridge: Cambridge University Press (ISBN 978-1-108-49345-1/hbk; 978-1-108-82514-6/pbk; 978-1-108-63604-9/ebook). xxvi, 1025 p. (2020). MSC: 91-01 00A08 91A10 91A12 91A18 91A20 91A30 91A46 91A60 91B26 91B68 91-03 PDF BibTeX XML Cite \textit{M. Maschler} et al., Game theory. Translated from the Hebrew by Ziv Hellman and edited by Mike Borns. 2nd edition. Cambridge: Cambridge University Press (2020; Zbl 1440.91002) Full Text: DOI
Su, Ezgi Iraz; Fariñas del Cerro, Luis; Herzig, Andreas Autoepistemic equilibrium logic and epistemic specifications. (English) Zbl 1432.68453 Artif. Intell. 282, Article ID 103249, 23 p. (2020). MSC: 68T27 03B42 68N17 PDF BibTeX XML Cite \textit{E. I. Su} et al., Artif. Intell. 282, Article ID 103249, 23 p. (2020; Zbl 1432.68453) Full Text: DOI
Lorini, Emiliano Rethinking epistemic logic with belief bases. (English) Zbl 1435.03036 Artif. Intell. 282, Article ID 103233, 38 p. (2020). MSC: 03B42 PDF BibTeX XML Cite \textit{E. Lorini}, Artif. Intell. 282, Article ID 103233, 38 p. (2020; Zbl 1435.03036) Full Text: DOI
Kadam, Vinod Jagannath; Jadhav, Shivajirao Manikrao Optimal weighted feature vector and deep belief network for medical data classification. (English) Zbl 1440.62370 Int. J. Wavelets Multiresolut. Inf. Process. 18, No. 2, Article ID 2050006, 26 p. (2020). MSC: 62P10 62H30 62H25 PDF BibTeX XML Cite \textit{V. J. Kadam} and \textit{S. M. Jadhav}, Int. J. Wavelets Multiresolut. Inf. Process. 18, No. 2, Article ID 2050006, 26 p. (2020; Zbl 1440.62370) Full Text: DOI
Zhang, Kaiqing; Liu, Yang; Liu, Ji; Liu, Mingyan; Başar, Tamer Distributed learning of average belief over networks using sequential observations. (English) Zbl 1436.93012 Automatica 115, Article ID 108857, 13 p. (2020). MSC: 93A16 93B70 93D50 PDF BibTeX XML Cite \textit{K. Zhang} et al., Automatica 115, Article ID 108857, 13 p. (2020; Zbl 1436.93012) Full Text: DOI
Jiroušek, Radim; Shenoy, Prakash P. On properties of a new decomposable entropy of Dempster-Shafer belief functions. (English) Zbl 1434.68574 Int. J. Approx. Reasoning 119, 260-279 (2020). MSC: 68T37 94A17 PDF BibTeX XML Cite \textit{R. Jiroušek} and \textit{P. P. Shenoy}, Int. J. Approx. Reasoning 119, 260--279 (2020; Zbl 1434.68574) Full Text: DOI
Petturiti, Davide; Vantaggi, Barbara Modeling agent’s conditional preferences under objective ambiguity in Dempster-Shafer theory. (English) Zbl 1443.91115 Int. J. Approx. Reasoning 119, 151-176 (2020). MSC: 91B06 91B08 90C05 PDF BibTeX XML Cite \textit{D. Petturiti} and \textit{B. Vantaggi}, Int. J. Approx. Reasoning 119, 151--176 (2020; Zbl 1443.91115) Full Text: DOI
Zhang, Shao-Pu; Sun, Pin; Mi, Ju-Sheng; Feng, Tao Belief function of Pythagorean fuzzy rough approximation space and its applications. (English) Zbl 1434.68580 Int. J. Approx. Reasoning 119, 58-80 (2020). MSC: 68T37 PDF BibTeX XML Cite \textit{S.-P. Zhang} et al., Int. J. Approx. Reasoning 119, 58--80 (2020; Zbl 1434.68580) Full Text: DOI
Zhang, An; Gao, Fei; Yang, Mi; Bi, Wenhao A new rule reduction and training method for extended belief rule base based on DBSCAN algorithm. (English) Zbl 1434.68484 Int. J. Approx. Reasoning 119, 20-39 (2020). MSC: 68T05 62H30 68T35 PDF BibTeX XML Cite \textit{A. Zhang} et al., Int. J. Approx. Reasoning 119, 20--39 (2020; Zbl 1434.68484) Full Text: DOI
Rocher, Gérald; Tigli, Jean-Yves; Lavirotte, Stéphane; Le Thanh, Nhan Effectiveness assessment of cyber-physical systems. (English) Zbl 07174800 Int. J. Approx. Reasoning 118, 112-132 (2020). MSC: 68T37 PDF BibTeX XML Cite \textit{G. Rocher} et al., Int. J. Approx. Reasoning 118, 112--132 (2020; Zbl 07174800) Full Text: DOI
Bach, Christian W.; Perea, Andrés Generalized Nash equilibrium without common belief in rationality. (English) Zbl 1429.91067 Econ. Lett. 186, Article ID 108526, 6 p. (2020). MSC: 91A26 91A05 PDF BibTeX XML Cite \textit{C. W. Bach} and \textit{A. Perea}, Econ. Lett. 186, Article ID 108526, 6 p. (2020; Zbl 1429.91067) Full Text: DOI
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag Completeness theorems for \(\sigma \)-additive probabilistic semantics. (English) Zbl 1452.03064 Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020). Reviewer: Jürgen Landes (München) MSC: 03B48 03B42 03C10 PDF BibTeX XML Cite \textit{N. Ikodinović} et al., Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020; Zbl 1452.03064) Full Text: DOI
Andreas, Holger Dynamic tractable reasoning. A modular approach to belief revision. (English) Zbl 1432.03002 Synthese Library 420. Cham: Springer (ISBN 978-3-030-36232-4/hbk; 978-3-030-36233-1/ebook). xvii, 236 p. (2020). MSC: 03-02 03A05 03B42 PDF BibTeX XML Cite \textit{H. Andreas}, Dynamic tractable reasoning. A modular approach to belief revision. Cham: Springer (2020; Zbl 1432.03002) Full Text: DOI
Yu, Xiaohui; He, Mingke; Sun, Hongxia; Zhou, Zhen Uncertain coalition structure game with payoff of belief structure. (English) Zbl 1446.91019 Appl. Math. Comput. 372, Article ID 125000, 13 p. (2020). Reviewer: Sirma Zeynep Alparslan-Gok (Isparta) MSC: 91A12 PDF BibTeX XML Cite \textit{X. Yu} et al., Appl. Math. Comput. 372, Article ID 125000, 13 p. (2020; Zbl 1446.91019) Full Text: DOI
Mihm, Maximilian; Toth, Russell Cooperative networks with robust private monitoring. (English) Zbl 1430.91069 J. Econ. Theory 185, Article ID 104974, 29 p. (2020). MSC: 91D30 91A20 91A43 PDF BibTeX XML Cite \textit{M. Mihm} and \textit{R. Toth}, J. Econ. Theory 185, Article ID 104974, 29 p. (2020; Zbl 1430.91069) Full Text: DOI
Fan, Tuan-Fang; Liau, Churn-Jung Reason-maintenance belief logic with uncertain information. (English) Zbl 1433.03045 ACM Trans. Comput. Log. 21, No. 1, Article No. 3, 32 p. (2020). MSC: 03B42 03B52 PDF BibTeX XML Cite \textit{T.-F. Fan} and \textit{C.-J. Liau}, ACM Trans. Comput. Log. 21, No. 1, Article No. 3, 32 p. (2020; Zbl 1433.03045) Full Text: DOI
Khalaj, Fereshteh; Khalaj, Mehran; Tavakkoli-Moghaddam, Reza; Pasha, Einollah New cross entropy on Dempster-Shafer theory under uncertainty. (English) Zbl 07314082 J. Math. Ext. 13, No. 1, 45-66 (2019). MSC: 90B50 28D20 PDF BibTeX XML Cite \textit{F. Khalaj} et al., J. Math. Ext. 13, No. 1, 45--66 (2019; Zbl 07314082) Full Text: Link
Solaki, Anthia A dynamic epistemic logic for resource-bounded agents. (English) Zbl 07307085 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 229-244 (2019). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{A. Solaki}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 229--244 (2019; Zbl 07307085)
Shimamura, Shuhei A first-order sequent calculus for logical inferentialists and expressivists. (English) Zbl 07307084 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 211-228 (2019). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{S. Shimamura}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 211--228 (2019; Zbl 07307084)
Pezlar, Ivo Non-constructive procedural theory of propositional problems and the equivalence of solutions. (English) Zbl 07307083 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 197-210 (2019). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{I. Pezlar}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 197--210 (2019; Zbl 07307083)
Peregrin, Jaroslav Logic as a (natural) science. (English) Zbl 07307082 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 177-196 (2019). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{J. Peregrin}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 177--196 (2019; Zbl 07307082)
Odintsov, Sergei Algebraic semantics for Fischer Servi’s version of modal logic \(\mathbf{BK}\). (English) Zbl 07307081 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 161-175 (2019). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{S. Odintsov}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 161--175 (2019; Zbl 07307081)
Klev, Ansten The name of sinus function. (English) Zbl 07307080 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 149-159 (2019). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{A. Klev}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 149--159 (2019; Zbl 07307080)
Hornischer, Levin Toward a logic for neural networks. (English) Zbl 07307079 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 133-147 (2019). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{L. Hornischer}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 133--147 (2019; Zbl 07307079)
Hayashi, Daichi Faithful relative truth definability and a truth-theoretic strength of type-free truth. (English) Zbl 07307078 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 117-131 (2019). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{D. Hayashi}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 117--131 (2019; Zbl 07307078)
Fernández-Fernández, Claudia; Velázquez-Quesada, Fernando R. A formal model for explicit knowledge as awareness-of plus awareness-that. (English) Zbl 07307077 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 101-115 (2019). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{C. Fernández-Fernández} and \textit{F. R. Velázquez-Quesada}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 101--115 (2019; Zbl 07307077)
Delli, Serena On the nature of combinatorial proofs. (English) Zbl 07307076 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 83-100 (2019). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{S. Delli}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 83--100 (2019; Zbl 07307076)
Burrieza, Alfredo; Yuste-Ginel, Antonio A justification logic for argument evaluation. (English) Zbl 07307075 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 67-81 (2019). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{A. Burrieza} and \textit{A. Yuste-Ginel}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 67--81 (2019; Zbl 07307075)