Baccini, Edoardo; Christoff, Zoé Comparing social network dynamic operators. (English) Zbl 07810606 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 66-81 (2023). Reviewer: Yilun Shang (Newcastle upon Tyne) MSC: 91D30 PDFBibTeX XMLCite \textit{E. Baccini} and \textit{Z. Christoff}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 66--81 (2023; Zbl 07810606) Full Text: DOI arXiv
Bellier, Dylan; Benerecetti, Massimo; Della Monica, Dario; Mogavero, Fabio Alternating (in)dependence-friendly logic. (English) Zbl 07741119 Ann. Pure Appl. Logic 174, No. 10, Article ID 103315, 58 p. (2023). MSC: 03B60 03B70 03C80 03C90 68T27 91A28 PDFBibTeX XMLCite \textit{D. Bellier} et al., Ann. Pure Appl. Logic 174, No. 10, Article ID 103315, 58 p. (2023; Zbl 07741119) Full Text: DOI arXiv
Seraku, Tohru An incremental grammar approach to multiple nominative constructions in Japanese. (English) Zbl 1515.91133 J. Logic Lang. Inf. 32, No. 2, 297-331 (2023). MSC: 91F20 PDFBibTeX XMLCite \textit{T. Seraku}, J. Logic Lang. Inf. 32, No. 2, 297--331 (2023; Zbl 1515.91133) Full Text: DOI
Grilletti, Gianluca; Ciardelli, Ivano Games and cardinalities in inquisitive first-order logic. (English) Zbl 07658887 Rev. Symb. Log. 16, No. 1, 241-267 (2023). MSC: 03B60 03B65 91A44 PDFBibTeX XMLCite \textit{G. Grilletti} and \textit{I. Ciardelli}, Rev. Symb. Log. 16, No. 1, 241--267 (2023; Zbl 07658887) Full Text: DOI
Charlow, Simon On Jacobson’s “Towards a variable-free semantics”. (English) Zbl 07799471 McNally, Louise (ed.) et al., A reader’s guide to classic papers in formal semantics. Volume 100 of Studies in Linguistics and Philosophy. Cham: Springer. Stud. Linguist. Philos. 100, 171-196 (2022). MSC: 03B65 91F20 PDFBibTeX XMLCite \textit{S. Charlow}, Stud. Linguist. Philos. 100, 171--196 (2022; Zbl 07799471) Full Text: DOI
Naumann, Ralf; Petersen, Wiebke Bridging the gap between formal semantics and neurolinguistics: the case of the N400 and the LPP. (English) Zbl 07570775 Özgün, Aybüke (ed.) et al., Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13206, 79-112 (2022). MSC: 91F20 PDFBibTeX XMLCite \textit{R. Naumann} and \textit{W. Petersen}, Lect. Notes Comput. Sci. 13206, 79--112 (2022; Zbl 07570775) Full Text: DOI
van der Hoek, Wiebe; Kuijer, Louwe B.; Wáng, Yì N. Who should be my friends? Social balance from the perspective of game theory. (English) Zbl 1515.91127 J. Logic Lang. Inf. 31, No. 2, 189-211 (2022). MSC: 91D30 91A43 91A80 PDFBibTeX XMLCite \textit{W. van der Hoek} et al., J. Logic Lang. Inf. 31, No. 2, 189--211 (2022; Zbl 1515.91127) Full Text: DOI
Gurov, Dilian; Goranko, Valentin; Lundberg, Edvin Knowledge-based strategies for multi-agent teams playing against nature. (English) Zbl 1491.68246 Artif. Intell. 309, Article ID 103728, 31 p. (2022). MSC: 68T42 68T30 91A27 91A80 PDFBibTeX XMLCite \textit{D. Gurov} et al., Artif. Intell. 309, Article ID 103728, 31 p. (2022; Zbl 1491.68246) Full Text: DOI arXiv
Liu, Chanjuan; Zhu, Enqiang; Zhang, Yuanke; Zhang, Qiang; Wei, Xiaopeng Characterization, verification and generation of strategies in games with resource constraints. (English) Zbl 1486.91014 Automatica 140, Article ID 110254, 12 p. (2022). MSC: 91A26 03B44 PDFBibTeX XMLCite \textit{C. Liu} et al., Automatica 140, Article ID 110254, 12 p. (2022; Zbl 1486.91014) Full Text: DOI
Thomason, Richmond H. Common knowledge, common attitudes and social reasoning. (English) Zbl 07682096 Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 2, 229-247 (2021). MSC: 03A05 03B42 91A26 PDFBibTeX XMLCite \textit{R. H. Thomason}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 2, 229--247 (2021; Zbl 07682096) Full Text: DOI
Sadrzadeh, Mehrnoosh Pregroup grammars, their syntax and semantics. (English) Zbl 1491.68252 Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 347-376 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 68T50 03B65 68Q42 91F20 PDFBibTeX XMLCite \textit{M. Sadrzadeh}, Outst. Contrib. Log. 20, 347--376 (2021; Zbl 1491.68252) Full Text: DOI arXiv
Coecke, Bob The mathematics of text structure. (English) Zbl 1482.81006 Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 181-217 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 81P68 68Q42 03D05 91F20 46C05 46B15 18M15 PDFBibTeX XMLCite \textit{B. Coecke}, Outst. Contrib. Log. 20, 181--217 (2021; Zbl 1482.81006) Full Text: DOI arXiv
Jiang, Guifei; Zhang, Dongmo; Perrussel, Laurent; Zhang, Heng Epistemic GDL: a logic for representing and reasoning about imperfect information games. (English) Zbl 1519.68252 Artif. Intell. 294, Article ID 103453, 22 p. (2021). MSC: 68T27 68Q25 68Q60 68T30 91A27 PDFBibTeX XMLCite \textit{G. Jiang} et al., Artif. Intell. 294, Article ID 103453, 22 p. (2021; Zbl 1519.68252) Full Text: DOI
Naumov, Pavel; Yuan, Yuan Intelligence in strategic games. (English) Zbl 1519.68290 J. Artif. Intell. Res. (JAIR) 71, 521-556 (2021). MSC: 68T42 03B42 68T27 91A12 91A27 PDFBibTeX XMLCite \textit{P. Naumov} and \textit{Y. Yuan}, J. Artif. Intell. Res. (JAIR) 71, 521--556 (2021; Zbl 1519.68290) Full Text: DOI arXiv
Stambaugh, Todd; Parikh, Rohit Knowledge, behavior, and rationality: rationalizability in epistemic games. (English) Zbl 1469.91014 Arch. Math. Logic 60, No. 5, 599-623 (2021). MSC: 91A26 PDFBibTeX XMLCite \textit{T. Stambaugh} and \textit{R. Parikh}, Arch. Math. Logic 60, No. 5, 599--623 (2021; Zbl 1469.91014) Full Text: DOI
Barbero, Fausto; Hella, Lauri; Rönnholm, Raine Independence-friendly logic without Henkin quantification. (English) Zbl 1496.03112 Arch. Math. Logic 60, No. 5, 547-597 (2021). MSC: 03B60 03C80 68Q19 91A28 PDFBibTeX XMLCite \textit{F. Barbero} et al., Arch. Math. Logic 60, No. 5, 547--597 (2021; Zbl 1496.03112) Full Text: DOI
Kennerberg, Philip; Volkov, Stanislav A local barycentric version of the Bak-Sneppen model. (English) Zbl 1470.60203 J. Stat. Phys. 182, No. 2, Paper No. 42, 18 p. (2021). MSC: 60J05 60K35 82C22 91D10 PDFBibTeX XMLCite \textit{P. Kennerberg} and \textit{S. Volkov}, J. Stat. Phys. 182, No. 2, Paper No. 42, 18 p. (2021; Zbl 1470.60203) Full Text: DOI arXiv
Romeo, Íñigo X. Íncer; Mangeruca, Leonardo; Villa, Tiziano; Sangiovanni-Vincentelli, Alberto The quotient in preorder theories. (English) Zbl 07455750 Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 216-233 (2020). MSC: 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{Í. X. Í. Romeo} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 216--233 (2020; Zbl 07455750) Full Text: arXiv Link
LaCroix, Travis On salience and signaling in sender-receiver games: partial pooling, learning, and focal points. (English) Zbl 1475.91037 Synthese 197, No. 4, 1725-1747 (2020). MSC: 91A28 PDFBibTeX XMLCite \textit{T. LaCroix}, Synthese 197, No. 4, 1725--1747 (2020; Zbl 1475.91037) Full Text: DOI
Suzuki, Toru Efficient communication and indexicality. (English) Zbl 1505.91110 Math. Soc. Sci. 108, 156-165 (2020). MSC: 91A28 91B44 PDFBibTeX XMLCite \textit{T. Suzuki}, Math. Soc. Sci. 108, 156--165 (2020; Zbl 1505.91110) Full Text: DOI Link
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael Automated temporal equilibrium analysis: verification and synthesis of multi-player games. (English) Zbl 1493.68360 Artif. Intell. 287, Article ID 103353, 26 p. (2020). MSC: 68T42 68Q60 91A06 91A10 91A80 PDFBibTeX XMLCite \textit{J. Gutierrez} et al., Artif. Intell. 287, Article ID 103353, 26 p. (2020; Zbl 1493.68360) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{S. Fukuda}, Games Econ. Behav. 121, 169--189 (2020; Zbl 1437.91143) Full Text: DOI
Doshi, Prashant; Gmytrasiewicz, Piotr; Durfee, Edmund Recursively modeling other agents for decision making: a research perspective. (English) Zbl 1478.68381 Artif. Intell. 279, Article ID 103202, 18 p. (2020). MSC: 68T42 91A35 91B06 PDFBibTeX XMLCite \textit{P. Doshi} et al., Artif. Intell. 279, Article ID 103202, 18 p. (2020; Zbl 1478.68381) Full Text: DOI
Galliani, Pietro Characterizing strongly first order dependencies: the non-jumping relativizable case. (English) Zbl 07453077 Leroux, Jérôme (ed.) et al., Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2–3, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 66-82 (2019). MSC: 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{P. Galliani}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 66--82 (2019; Zbl 07453077) Full Text: arXiv Link
Nefdt, Ryan M. Infinity and the foundations of linguistics. (English) Zbl 1474.91146 Synthese 196, No. 5, 1671-1711 (2019). MSC: 91F20 03A10 PDFBibTeX XMLCite \textit{R. M. Nefdt}, Synthese 196, No. 5, 1671--1711 (2019; Zbl 1474.91146) Full Text: DOI Link
Jamroga, Wojciech; Knapik, Michał; Kurpiewski, Damian; Mikulski, Łukasz Approximate verification of strategic abilities under imperfect information. (English) Zbl 1478.68384 Artif. Intell. 277, Article ID 103172, 30 p. (2019). MSC: 68T42 03B44 68Q60 91A26 PDFBibTeX XMLCite \textit{W. Jamroga} et al., Artif. Intell. 277, Article ID 103172, 30 p. (2019; Zbl 1478.68384) Full Text: DOI Link
Jamroga, Wojciech; Malvone, Vadim; Murano, Aniello Natural strategic ability. (English) Zbl 1478.68385 Artif. Intell. 277, Article ID 103170, 33 p. (2019). MSC: 68T42 03B44 68Q60 68Q85 91A26 PDFBibTeX XMLCite \textit{W. Jamroga} et al., Artif. Intell. 277, Article ID 103170, 33 p. (2019; Zbl 1478.68385) Full Text: DOI Link
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael Nash equilibrium and bisimulation invariance. (English) Zbl 1442.68142 Log. Methods Comput. Sci. 15, No. 3, Paper No. 32, 49 p. (2019). MSC: 68Q85 03B70 68T42 91A10 PDFBibTeX XMLCite \textit{J. Gutierrez} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 32, 49 p. (2019; Zbl 1442.68142) Full Text: DOI arXiv
Baltag, Alexandru; Christoff, Zoé; Rendsvig, Rasmus K.; Smets, Sonja Dynamic epistemic logics of diffusion and prediction in social networks. (English) Zbl 07075852 Stud. Log. 107, No. 3, 489-531 (2019). MSC: 03B42 91D30 PDFBibTeX XMLCite \textit{A. Baltag} et al., Stud. Log. 107, No. 3, 489--531 (2019; Zbl 07075852) Full Text: DOI
Smets, Sonja; Velázquez-Quesada, Fernando R. A logical study of group-size based social network creation. (English) Zbl 1425.91379 J. Log. Algebr. Methods Program. 106, 117-140 (2019). MSC: 91D30 03B42 PDFBibTeX XMLCite \textit{S. Smets} and \textit{F. R. Velázquez-Quesada}, J. Log. Algebr. Methods Program. 106, 117--140 (2019; Zbl 1425.91379) Full Text: DOI
Hedges, Jules; Sadrzadeh, Mehrnoosh A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras. (English) Zbl 1422.68227 Math. Struct. Comput. Sci. 29, No. 6, 783-809 (2019). MSC: 68T50 03B65 91F20 PDFBibTeX XMLCite \textit{J. Hedges} and \textit{M. Sadrzadeh}, Math. Struct. Comput. Sci. 29, No. 6, 783--809 (2019; Zbl 1422.68227) Full Text: DOI arXiv
Puthawala, Daniel Stripping isn’t so mysterious, or anomalous scope, either. (English) Zbl 1512.91101 Foret, Annie (ed.) et al., Formal grammar 2018. 23rd international conference, FG 2018, Sofia, Bulgaria, August 11–12, 2018. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10950, 102-120 (2018). MSC: 91F20 03B65 PDFBibTeX XMLCite \textit{D. Puthawala}, Lect. Notes Comput. Sci. 10950, 102--120 (2018; Zbl 1512.91101) Full Text: DOI
de Weerd, Harmen; Diepgrond, Denny; Verbrugge, Rineke Estimating the use of higher-order theory of mind using computational agents. (English) Zbl 1508.91139 B. E. J. Theor. Econ. 18, No. 2, Article ID 20160184, 12 p. (2018). MSC: 91B06 PDFBibTeX XMLCite \textit{H. de Weerd} et al., B. E. J. Theor. Econ. 18, No. 2, Article ID 20160184, 12 p. (2018; Zbl 1508.91139) Full Text: DOI
Ghosh, Sujata; Verbrugge, Rineke Studying strategies and types of players: experiments, logics and cognitive models. (English) Zbl 1452.03081 Synthese 195, No. 10, 4265-4307 (2018). MSC: 03B80 03B42 03B60 91A99 PDFBibTeX XMLCite \textit{S. Ghosh} and \textit{R. Verbrugge}, Synthese 195, No. 10, 4265--4307 (2018; Zbl 1452.03081) Full Text: DOI
Galliani, Pietro Dynamic logics of imperfect information: from teams and games to transitions. (English) Zbl 1437.03062 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, 299-315 (2018). MSC: 03B42 03B52 91A44 PDFBibTeX XMLCite \textit{P. Galliani}, Outst. Contrib. Log. 12, 299--315 (2018; Zbl 1437.03062) Full Text: DOI arXiv
Kalociński, Dariusz; Mostowski, Marcin; Gierasimczuk, Nina Interactive semantic alignment model: social influence and local transmission bottleneck. (English) Zbl 1419.91572 J. Logic Lang. Inf. 27, No. 3, 225-253 (2018). MSC: 91F20 91D99 PDFBibTeX XMLCite \textit{D. Kalociński} et al., J. Logic Lang. Inf. 27, No. 3, 225--253 (2018; Zbl 1419.91572) Full Text: DOI
Berwanger, Dietmar; Mathew, Anup Basil; van den Bogaard, Marie Hierarchical information and the synthesis of distributed strategies. (English) Zbl 1408.91004 Acta Inf. 55, No. 8, 669-701 (2018). MSC: 91A06 68M14 91A43 93B50 PDFBibTeX XMLCite \textit{D. Berwanger} et al., Acta Inf. 55, No. 8, 669--701 (2018; Zbl 1408.91004) Full Text: DOI arXiv
Top, Jakob Dirk; Verbrugge, Rineke; Ghosh, Sujata An automated method for building cognitive models for turn-based games from a strategy logic. (English) Zbl 1418.91073 Games 9, No. 3, Paper No. 44, 28 p. (2018). MSC: 91A18 91A26 91A90 03B42 68T27 PDFBibTeX XMLCite \textit{J. D. Top} et al., Games 9, No. 3, Paper No. 44, 28 p. (2018; Zbl 1418.91073) Full Text: DOI
Pereira, Fabíola S. F.; Gama, João; de Amo, Sandra; Oliveira, Gina M. B. On analyzing user preference dynamics with temporal social networks. (English) Zbl 1478.91149 Mach. Learn. 107, No. 11, 1745-1773 (2018). MSC: 91D30 91B08 PDFBibTeX XMLCite \textit{F. S. F. Pereira} et al., Mach. Learn. 107, No. 11, 1745--1773 (2018; Zbl 1478.91149) Full Text: DOI
Asher, Nicholas; Paul, Soumya Strategic conversations under imperfect information: epistemic message exchange games. (English) Zbl 1427.03045 J. Logic Lang. Inf. 27, No. 4, 343-385 (2018). MSC: 03B65 03B42 91A80 PDFBibTeX XMLCite \textit{N. Asher} and \textit{S. Paul}, J. Logic Lang. Inf. 27, No. 4, 343--385 (2018; Zbl 1427.03045) Full Text: DOI Link
Flaminio, T.; Hosni, H.; Lapenta, S. Convex MV-algebras: many-valued logics meet decision theory. (English) Zbl 1475.06007 Stud. Log. 106, No. 5, 913-945 (2018). Reviewer: Brunella Gerla (Varese) MSC: 06D35 91B06 PDFBibTeX XMLCite \textit{T. Flaminio} et al., Stud. Log. 106, No. 5, 913--945 (2018; Zbl 1475.06007) Full Text: DOI
van Benthem, Johan Computation as social agency: what, how and who. (English) Zbl 1395.68119 Inf. Comput. 261, Part 3, 519-535 (2018). MSC: 68Q01 03B42 68T27 91A80 91D30 PDFBibTeX XMLCite \textit{J. van Benthem}, Inf. Comput. 261, Part 3, 519--535 (2018; Zbl 1395.68119) Full Text: DOI Link
Berwanger, Dietmar; van den Bogaard, Marie Consensus game acceptors and iterated transductions. (English) Zbl 1387.68152 Int. J. Found. Comput. Sci. 29, No. 2, 165-185 (2018). MSC: 68Q45 91A12 PDFBibTeX XMLCite \textit{D. Berwanger} and \textit{M. van den Bogaard}, Int. J. Found. Comput. Sci. 29, No. 2, 165--185 (2018; Zbl 1387.68152) Full Text: DOI arXiv
Ghosh, Sujata; Heifetz, Aviad; Verbrugge, Rineke; de Weerd, Harmen What drives people’s choices in turn-taking games, if not game-theoretic rationality? (English) Zbl 1484.91103 Lang, Jérôme (ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge, TARK 2017, Liverpool, UK, July 24–26, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 265-284 (2017). MSC: 91A90 91A35 PDFBibTeX XMLCite \textit{S. Ghosh} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 265--284 (2017; Zbl 1484.91103) Full Text: arXiv Link
Garrabrant, Scott; Benson-Tilsen, Tsvi; Critch, Andrew; Soares, Nate; Taylor, Jessica A formal approach to the problem of logical non-omniscience. (English) Zbl 1483.68377 Lang, Jérôme (ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge, TARK 2017, Liverpool, UK, July 24–26, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 221-235 (2017). MSC: 68T27 91B24 PDFBibTeX XMLCite \textit{S. Garrabrant} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 221--235 (2017; Zbl 1483.68377) Full Text: arXiv Link
Sandu, Gabriel; Velica, Silviu Modeling Monty Hall in IF logic. (English) Zbl 1437.91117 Başkent, Can (ed.) et al., Rohit Parikh on logic, language and society. Cham: Springer. Outst. Contrib. Log. 11, 165-184 (2017). MSC: 91A60 03B60 03B80 PDFBibTeX XMLCite \textit{G. Sandu} and \textit{S. Velica}, Outst. Contrib. Log. 11, 165--184 (2017; Zbl 1437.91117) Full Text: DOI Link
Attamah, Maduka; van Ditmarsch, Hans; Grossi, Davide; van der Hoek, Wiebe The pleasure of gossip. (English) Zbl 1437.03056 Başkent, Can (ed.) et al., Rohit Parikh on logic, language and society. Cham: Springer. Outst. Contrib. Log. 11, 145-163 (2017). MSC: 03B42 03B45 03B70 03B80 68M12 91D30 PDFBibTeX XMLCite \textit{M. Attamah} et al., Outst. Contrib. Log. 11, 145--163 (2017; Zbl 1437.03056) Full Text: DOI
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael Nash equilibrium and bisimulation invariance. (English) Zbl 1442.68143 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 17, 16 p. (2017). MSC: 68Q85 03B70 68T42 91A10 PDFBibTeX XMLCite \textit{J. Gutierrez} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 17, 16 p. (2017; Zbl 1442.68143) Full Text: DOI
Porello, Daniele Judgement aggregation in non-classical logics. (English) Zbl 1398.03102 J. Appl. Non-Class. Log. 27, No. 1-2, 106-139 (2017). MSC: 03B47 03B20 91B14 PDFBibTeX XMLCite \textit{D. Porello}, J. Appl. Non-Class. Log. 27, No. 1--2, 106--139 (2017; Zbl 1398.03102) Full Text: DOI arXiv
Sperry-Taylor, Ashton T. Strategy constrained by cognitive limits, and the rationality of belief-revision policies. (English) Zbl 1407.91061 Games 8, No. 1, Paper No. 3, 13 p. (2017). MSC: 91A26 91A22 PDFBibTeX XMLCite \textit{A. T. Sperry-Taylor}, Games 8, No. 1, Paper No. 3, 13 p. (2017; Zbl 1407.91061) Full Text: DOI
Barbero, Fausto Cooperation in games and epistemic readings of independence-friendly sentences. (English) Zbl 1420.03050 J. Logic Lang. Inf. 26, No. 3, 221-260 (2017). MSC: 03B60 91A12 91A05 PDFBibTeX XMLCite \textit{F. Barbero}, J. Logic Lang. Inf. 26, No. 3, 221--260 (2017; Zbl 1420.03050) Full Text: DOI Link
Garrett Mitchener, W. A stochastic model of language change through social structure and prediction-driven instability. (English) Zbl 1384.37115 SIAM J. Appl. Math. 77, No. 6, 2272-2293 (2017). MSC: 37N25 37H10 60H10 60J20 91F20 PDFBibTeX XMLCite \textit{W. Garrett Mitchener}, SIAM J. Appl. Math. 77, No. 6, 2272--2293 (2017; Zbl 1384.37115) Full Text: DOI
Dediu, Adrian-Horia; M. Matos, Joana; Martín-Vide, Carlos Natural language processing, moving from rules to data. (English) Zbl 1435.68334 Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 24-38 (2017). MSC: 68T50 91F20 PDFBibTeX XMLCite \textit{A.-H. Dediu} et al., Lect. Notes Comput. Sci. 10185, 24--38 (2017; Zbl 1435.68334) Full Text: DOI
Berwanger, Dietmar; Mathew, Anup Basil Infinite games with finite knowledge gaps. (English) Zbl 1371.91020 Inf. Comput. 254, Part 2, 217-237 (2017). MSC: 91A43 05C57 68Q45 PDFBibTeX XMLCite \textit{D. Berwanger} and \textit{A. B. Mathew}, Inf. Comput. 254, Part 2, 217--237 (2017; Zbl 1371.91020) Full Text: DOI arXiv
Hong, Fuhai; Lim, Wooyoung; Zhao, Xiaojian The emergence of compositional grammars in artificial codes. (English) Zbl 1409.91050 Games Econ. Behav. 102, 255-268 (2017). MSC: 91A28 91F20 PDFBibTeX XMLCite \textit{F. Hong} et al., Games Econ. Behav. 102, 255--268 (2017; Zbl 1409.91050) Full Text: DOI Link
Liu, Chanjuan Preference at first sight. (English) Zbl 1483.68421 Ramanujam, R. (ed.), Proceedings of the fifteenth conference on theoretical aspects of rationality and knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4–6, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 215, 207-226 (2016). MSC: 68T42 68T27 91A35 91B06 91B08 PDFBibTeX XMLCite \textit{C. Liu}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 215, 207--226 (2016; Zbl 1483.68421) Full Text: arXiv Link
Ghosh, Sujata; Heifetz, Aviad; Verbrugge, Rineke Do players reason by forward induction in dynamic perfect information games? (English) Zbl 1484.91102 Ramanujam, R. (ed.), Proceedings of the fifteenth conference on theoretical aspects of rationality and knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4–6, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 215, 159-175 (2016). MSC: 91A90 91A26 91A18 PDFBibTeX XMLCite \textit{S. Ghosh} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 215, 159--175 (2016; Zbl 1484.91102) Full Text: arXiv Link
Pacuit, Eric; Yang, Fan Dependence and independence in social choice: Arrow’s theorem. (English) Zbl 1429.91156 Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 235-260 (2016). MSC: 91B14 03B60 03B80 PDFBibTeX XMLCite \textit{E. Pacuit} and \textit{F. Yang}, in: Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on `Dependence logic: theory and applications', Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 235--260 (2016; Zbl 1429.91156) Full Text: DOI
Grädel, Erich Games for inclusion logic and fixed-point logic. (English) Zbl 1429.03117 Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 73-98 (2016). MSC: 03B60 91A40 PDFBibTeX XMLCite \textit{E. Grädel}, in: Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on `Dependence logic: theory and applications', Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 73--98 (2016; Zbl 1429.03117) Full Text: DOI
Cozic, Mikaël Probabilistic unawareness. (English) Zbl 1407.91060 Games 7, No. 4, Paper No. 38, 24 p. (2016). MSC: 91A26 03B42 03B48 PDFBibTeX XMLCite \textit{M. Cozic}, Games 7, No. 4, Paper No. 38, 24 p. (2016; Zbl 1407.91060) Full Text: DOI
Franke, Michael The evolution of compositionality in signaling games. (English) Zbl 1380.91028 J. Logic Lang. Inf. 25, No. 3-4, 355-377 (2016). MSC: 91A28 91A26 68T05 PDFBibTeX XMLCite \textit{M. Franke}, J. Logic Lang. Inf. 25, No. 3--4, 355--377 (2016; Zbl 1380.91028) Full Text: DOI
Rott, Hans Belief contraction in the context of the general theory of rational choice. (English) Zbl 1384.03107 Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 269-302 (2016). MSC: 03B42 91B06 PDFBibTeX XMLCite \textit{H. Rott}, Springer Grad. Texts Philos. 1, 269--302 (2016; Zbl 1384.03107) Full Text: DOI Link
Leiß, Hans; Wu, Shuqian Type reconstruction for \(\lambda\)-DRT applied to pronoun resolution. (English) Zbl 1485.03068 Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 149-174 (2016). MSC: 03B65 03B40 91F20 PDFBibTeX XMLCite \textit{H. Leiß} and \textit{S. Wu}, Lect. Notes Comput. Sci. 10054, 149--174 (2016; Zbl 1485.03068) Full Text: DOI
Gaudreault, Gabriel Compositional event semantics in pregroup grammars. (English) Zbl 1483.68457 Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 99-115 (2016). MSC: 68T50 03B65 68Q42 68Q55 91F20 PDFBibTeX XMLCite \textit{G. Gaudreault}, Lect. Notes Comput. Sci. 10054, 99--115 (2016; Zbl 1483.68457) Full Text: DOI
Kadvany, John Pāṇini’s grammar and modern computation. (English) Zbl 1403.03047 Hist. Philos. Log. 37, No. 4, 325-346 (2016). MSC: 03B65 91F20 03-03 01A32 PDFBibTeX XMLCite \textit{J. Kadvany}, Hist. Philos. Log. 37, No. 4, 325--346 (2016; Zbl 1403.03047) Full Text: DOI
Corbalán, María Inés; Morrill, Glyn Overtly anaphoric control in type logical grammar. (English) Zbl 1478.03059 Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9804, 183-199 (2016). MSC: 03B65 03B47 91F20 PDFBibTeX XMLCite \textit{M. I. Corbalán} and \textit{G. Morrill}, Lect. Notes Comput. Sci. 9804, 183--199 (2016; Zbl 1478.03059) Full Text: DOI Link
Lorini, Emiliano; Sartor, Giovanni A STIT logic for reasoning about social influence. (English) Zbl 1417.03225 Stud. Log. 104, No. 4, 773-812 (2016). MSC: 03B80 03B42 03B70 68T27 91D10 91D20 PDFBibTeX XMLCite \textit{E. Lorini} and \textit{G. Sartor}, Stud. Log. 104, No. 4, 773--812 (2016; Zbl 1417.03225) Full Text: DOI
Liu, Chanjuan; Liu, Fenrong; Su, Kaile; Zhu, Enqiang A logical characterization of extensive games with short sight. (English) Zbl 1333.91006 Theor. Comput. Sci. 612, 63-82 (2016). MSC: 91A18 03B45 91A26 PDFBibTeX XMLCite \textit{C. Liu} et al., Theor. Comput. Sci. 612, 63--82 (2016; Zbl 1333.91006) Full Text: DOI
Sato, Yuri; Mineshima, Koji How diagrams can support syllogistic reasoning: an experimental study. (English) Zbl 1350.03012 J. Logic Lang. Inf. 24, No. 4, 409-455 (2015). MSC: 03A05 03B99 03B05 91E10 PDFBibTeX XMLCite \textit{Y. Sato} and \textit{K. Mineshima}, J. Logic Lang. Inf. 24, No. 4, 409--455 (2015; Zbl 1350.03012) Full Text: DOI
Ghosh, Sujata; Halder, Tamoghna; Sharma, Khyati; Verbrugge, Rineke Human strategic reasoning in dynamic games: experiments, logics, cognitive models. (English) Zbl 1471.91079 van der Hoek, Wiebe (ed.) et al., Logic, rationality, and interaction. 5th international workshop, LORI 2015, Taipei, Taiwan, October 28–30, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9394, 116-128 (2015). MSC: 91A90 91A25 91A26 PDFBibTeX XMLCite \textit{S. Ghosh} et al., Lect. Notes Comput. Sci. 9394, 116--128 (2015; Zbl 1471.91079) Full Text: DOI
Berwanger, Dietmar; van den Bogaard, Marie Consensus game acceptors. (English) Zbl 1386.68084 Potapov, Igor (ed.), Developments in language theory. 19th international conference, DLT 2015, Liverpool, UK, July 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21499-3/pbk; 978-3-319-21500-6/ebook). Lecture Notes in Computer Science 9168, 108-119 (2015). MSC: 68Q45 91A12 PDFBibTeX XMLCite \textit{D. Berwanger} and \textit{M. van den Bogaard}, Lect. Notes Comput. Sci. 9168, 108--119 (2015; Zbl 1386.68084) Full Text: DOI
Lenisa, Marina Multigames and strategies, coalgebraically. (English) Zbl 1331.91051 Theor. Comput. Sci. 604, 46-62 (2015). MSC: 91A44 91A20 18B99 PDFBibTeX XMLCite \textit{M. Lenisa}, Theor. Comput. Sci. 604, 46--62 (2015; Zbl 1331.91051) Full Text: DOI
Dima, Cătălin; Maubert, Bastien; Pinchinat, Sophie Relating paths in transition systems: the fall of the modal mu-calculus. (English) Zbl 1465.68173 Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 179-191 (2015). MSC: 68Q60 03B16 03B45 68Q45 91A80 PDFBibTeX XMLCite \textit{C. Dima} et al., Lect. Notes Comput. Sci. 9234, 179--191 (2015; Zbl 1465.68173) Full Text: DOI
Bozzelli, Laura; Maubert, Bastien; Pinchinat, Sophie Uniform strategies, rational relations and jumping automata. (English) Zbl 1319.68140 Inf. Comput. 242, 80-107 (2015). MSC: 68Q60 03B42 03B44 03D05 68Q17 68Q45 91A80 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., Inf. Comput. 242, 80--107 (2015; Zbl 1319.68140) Full Text: DOI
Zhang, Dongmo; Thielscher, Michael Representing and reasoning about game strategies. (English) Zbl 1347.68327 J. Philos. Log. 44, No. 2, 203-236 (2015). MSC: 68T30 68N17 68T27 91A99 PDFBibTeX XMLCite \textit{D. Zhang} and \textit{M. Thielscher}, J. Philos. Log. 44, No. 2, 203--236 (2015; Zbl 1347.68327) Full Text: DOI arXiv
Christoff, Zoé; Hansen, Jens Ulrik A logic for diffusion in social networks. (English) Zbl 1311.03037 J. Appl. Log. 13, No. 1, 48-77 (2015). MSC: 03B45 91D30 PDFBibTeX XMLCite \textit{Z. Christoff} and \textit{J. U. Hansen}, J. Appl. Log. 13, No. 1, 48--77 (2015; Zbl 1311.03037) Full Text: DOI
Bos, Johan Recognizing textual entailment and computational semantics. (English) Zbl 07823930 Bunt, Harry (ed.) et al., Computing meaning. Volume 4. Dordrecht: Springer. Text Speech Lang. Technol. 47, 89-105 (2014). MSC: 68T27 68T30 68T50 91F20 PDFBibTeX XMLCite \textit{J. Bos}, Text Speech Lang. Technol. 47, 89--105 (2014; Zbl 07823930) Full Text: DOI
Franke, Michael Pragmatic reasoning about unawareness. (English) Zbl 1329.91022 Erkenntnis 79, Suppl. 4, 729-767 (2014). MSC: 91A28 91A26 PDFBibTeX XMLCite \textit{M. Franke}, Erkenntnis 79, 729--767 (2014; Zbl 1329.91022) Full Text: DOI
Jäger, Gerhard Rationalizable signaling. (English) Zbl 1329.91023 Erkenntnis 79, Suppl. 4, 673-706 (2014). MSC: 91A28 91A26 PDFBibTeX XMLCite \textit{G. Jäger}, Erkenntnis 79, 673--706 (2014; Zbl 1329.91023) Full Text: DOI
Isaac, Alistair M. C.; Szymanik, Jakub; Verbrugge, Rineke Logic and complexity in cognitive science. (English) Zbl 1319.91136 Baltag, Alexandru (ed.) et al., Johan van Benthem on logic and information dynamics. Cham: Springer (ISBN 978-3-319-06024-8/hbk; 978-3-319-06025-5/ebook). Outstanding Contributions to Logic 5, 787-824 (2014). MSC: 91E99 03B65 03B80 91E10 91-02 68T27 68T50 68Q25 PDFBibTeX XMLCite \textit{A. M. C. Isaac} et al., Outst. Contrib. Log. 5, 787--824 (2014; Zbl 1319.91136) Full Text: DOI Link
Ramanujam, R. Logical player types for a theory of play. (English) Zbl 1319.91039 Baltag, Alexandru (ed.) et al., Johan van Benthem on logic and information dynamics. Cham: Springer (ISBN 978-3-319-06024-8/hbk; 978-3-319-06025-5/ebook). Outstanding Contributions to Logic 5, 509-528 (2014). MSC: 91A26 91A18 03B42 03D05 PDFBibTeX XMLCite \textit{R. Ramanujam}, Outst. Contrib. Log. 5, 509--528 (2014; Zbl 1319.91039) Full Text: DOI
Bonanno, Giacomo; Dégremont, Cédric Logic and game theory. (English) Zbl 1354.03013 Baltag, Alexandru (ed.) et al., Johan van Benthem on logic and information dynamics. Cham: Springer (ISBN 978-3-319-06024-8/hbk; 978-3-319-06025-5/ebook). Outstanding Contributions to Logic 5, 421-449 (2014). MSC: 03B42 91A80 PDFBibTeX XMLCite \textit{G. Bonanno} and \textit{C. Dégremont}, Outst. Contrib. Log. 5, 421--449 (2014; Zbl 1354.03013) Full Text: DOI
Braüner, Torben Hybrid-logical reasoning in the Smarties and Sally-Anne tasks. (English) Zbl 1306.03010 J. Logic Lang. Inf. 23, No. 4, 415-439 (2014). MSC: 03B45 91E10 PDFBibTeX XMLCite \textit{T. Braüner}, J. Logic Lang. Inf. 23, No. 4, 415--439 (2014; Zbl 1306.03010) Full Text: DOI arXiv Link
Kracht, Marcus; Klein, Udo The grammar of code switching. (English) Zbl 1305.91209 J. Logic Lang. Inf. 23, No. 3, 313-329 (2014). MSC: 91F20 03B65 PDFBibTeX XMLCite \textit{M. Kracht} and \textit{U. Klein}, J. Logic Lang. Inf. 23, No. 3, 313--329 (2014; Zbl 1305.91209) Full Text: DOI
Robaldo, Livio; Szymanik, Jakub; Meijering, Ben On the identification of quantifiers’ witness sets: a study of multi-quantifier sentences. (English) Zbl 1305.03030 J. Logic Lang. Inf. 23, No. 1, 53-81 (2014). MSC: 03B65 91F20 PDFBibTeX XMLCite \textit{L. Robaldo} et al., J. Logic Lang. Inf. 23, No. 1, 53--81 (2014; Zbl 1305.03030) Full Text: DOI
Ghosh, Sujata; Meijering, Ben; Verbrugge, Rineke Strategic reasoning: building cognitive models from logical formulas. (English) Zbl 1305.91051 J. Logic Lang. Inf. 23, No. 1, 1-29 (2014). MSC: 91A44 91A90 91E10 PDFBibTeX XMLCite \textit{S. Ghosh} et al., J. Logic Lang. Inf. 23, No. 1, 1--29 (2014; Zbl 1305.91051) Full Text: DOI
Uckelman, Sara L.; Alama, Jesse; Knoks, Aleks A curious dialogical logic and its composition problem. (English) Zbl 1317.03028 J. Philos. Log. 43, No. 6, 1065-1100 (2014). Reviewer: Jim Mackenzie (Sydney) MSC: 03B60 91A05 PDFBibTeX XMLCite \textit{S. L. Uckelman} et al., J. Philos. Log. 43, No. 6, 1065--1100 (2014; Zbl 1317.03028) Full Text: DOI arXiv Link
Sack, Joshua; van der Hoek, Wiebe A modal logic for mixed strategies. (English) Zbl 1329.03059 Stud. Log. 102, No. 2, 339-360 (2014). MSC: 03B45 91A44 PDFBibTeX XMLCite \textit{J. Sack} and \textit{W. van der Hoek}, Stud. Log. 102, No. 2, 339--360 (2014; Zbl 1329.03059) Full Text: DOI
Klein, Dominik; Pacuit, Eric Changing types: information dynamics for qualitative type spaces. (English) Zbl 1329.03049 Stud. Log. 102, No. 2, 297-319 (2014). MSC: 03B42 91A44 PDFBibTeX XMLCite \textit{D. Klein} and \textit{E. Pacuit}, Stud. Log. 102, No. 2, 297--319 (2014; Zbl 1329.03049) Full Text: DOI
van Benthem, Johan Modeling reasoning in a social setting. (English) Zbl 1329.03053 Stud. Log. 102, No. 2, 235-265 (2014). MSC: 03B42 03B80 91A44 PDFBibTeX XMLCite \textit{J. van Benthem}, Stud. Log. 102, No. 2, 235--265 (2014; Zbl 1329.03053) Full Text: DOI
Ågotnes, Thomas (ed.) Logic and games: an introduction. (English) Zbl 1298.00084 Stud. Log. 102, No. 2, 231-234 (2014). MSC: 00B15 03-06 91-06 PDFBibTeX XMLCite \textit{T. Ågotnes} (ed.), Stud. Log. 102, No. 2, 231--234 (2014; Zbl 1298.00084) Full Text: DOI
Casadio, Claudia; Sadrzadeh, Mehrnoosh Word order alternation in Sanskrit via precyclicity in pregroup grammars. (English) Zbl 1408.91185 van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 229-249 (2014). MSC: 91F20 PDFBibTeX XMLCite \textit{C. Casadio} and \textit{M. Sadrzadeh}, Lect. Notes Comput. Sci. 8464, 229--249 (2014; Zbl 1408.91185) Full Text: DOI
Casadio, Claudia; Kiślak-Malinowska, Aleksandra Italian clitic patterns in pregroup grammar: state of the art. (English) Zbl 1285.03025 Casadio, Claudia (ed.) et al., Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday. Berlin: Springer (ISBN 978-3-642-54788-1/pbk). Lecture Notes in Computer Science 8222, 156-171 (2014). MSC: 03B65 91F20 PDFBibTeX XMLCite \textit{C. Casadio} and \textit{A. Kiślak-Malinowska}, Lect. Notes Comput. Sci. 8222, 156--171 (2014; Zbl 1285.03025) Full Text: DOI
Tsakas, Elias Rational belief hierarchies. (English) Zbl 1296.91050 J. Math. Econ. 51, 121-127 (2014). MSC: 91A26 PDFBibTeX XMLCite \textit{E. Tsakas}, J. Math. Econ. 51, 121--127 (2014; Zbl 1296.91050) Full Text: DOI Link
Tsakas, Elias Universally rational belief hierarchies. (English) Zbl 1285.91019 Int. Game Theory Rev. 16, No. 1, Article ID 1440003, 12 p. (2014). Reviewer: Can Baskent (Paris) MSC: 91A26 03B42 91A10 PDFBibTeX XMLCite \textit{E. Tsakas}, Int. Game Theory Rev. 16, No. 1, Article ID 1440003, 12 p. (2014; Zbl 1285.91019) Full Text: DOI
Schlotterbeck, Fabian; Bott, Oliver Easy solutions for a hard problem? The computational complexity of reciprocals with quantificational antecedents. (English) Zbl 1305.68094 J. Logic Lang. Inf. 22, No. 4, 363-390 (2013). MSC: 68Q17 91F20 PDFBibTeX XMLCite \textit{F. Schlotterbeck} and \textit{O. Bott}, J. Logic Lang. Inf. 22, No. 4, 363--390 (2013; Zbl 1305.68094) Full Text: DOI
Gierasimczuk, Nina; van der Maas, Han L. J.; Raijmakers, Maartje E. J. An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system. (English) Zbl 1305.68197 J. Logic Lang. Inf. 22, No. 3, 297-314 (2013). MSC: 68T50 68T15 91E40 97U50 PDFBibTeX XMLCite \textit{N. Gierasimczuk} et al., J. Logic Lang. Inf. 22, No. 3, 297--314 (2013; Zbl 1305.68197) Full Text: DOI
Tamminga, Allard Deontic logic for strategic games. (English) Zbl 1303.03054 Erkenntnis 78, No. 1, 183-200 (2013). MSC: 03B45 91A80 PDFBibTeX XMLCite \textit{A. Tamminga}, Erkenntnis 78, No. 1, 183--200 (2013; Zbl 1303.03054) Full Text: DOI
Paul, Soumya; Ramanujam, R. Dynamics of choice restriction in large games. (English) Zbl 1287.91024 Int. Game Theory Rev. 15, No. 4, Article ID 1340031, 22 p. (2013). MSC: 91A40 91A43 91A10 PDFBibTeX XMLCite \textit{S. Paul} and \textit{R. Ramanujam}, Int. Game Theory Rev. 15, No. 4, Article ID 1340031, 22 p. (2013; Zbl 1287.91024) Full Text: DOI