Bischofberger, Jonas; Ragni, Marco An adaptive model for human syllogistic reasoning. (English) Zbl 1479.91288 Ann. Math. Artif. Intell. 89, No. 10-11, 923-945 (2021). MSC: 91E10 03B05 PDFBibTeX XMLCite \textit{J. Bischofberger} and \textit{M. Ragni}, Ann. Math. Artif. Intell. 89, No. 10--11, 923--945 (2021; Zbl 1479.91288) Full Text: DOI
Ventura, Rafael Ambiguous signals, partial beliefs, and propositional content. (English) Zbl 1475.03057 Synthese 196, No. 7, 2803-2820 (2019). MSC: 03A05 03B42 91A28 PDFBibTeX XMLCite \textit{R. Ventura}, Synthese 196, No. 7, 2803--2820 (2019; Zbl 1475.03057) Full Text: DOI
Alviano, Mario; Greco, Gianluigi; Guzzo, Antonella Coalition formation in social environments with logic-based agents. (English) Zbl 1462.68196 AI Commun. 31, No. 5, 383-407 (2018). MSC: 68T42 68T27 91B06 PDFBibTeX XMLCite \textit{M. Alviano} et al., AI Commun. 31, No. 5, 383--407 (2018; Zbl 1462.68196) Full Text: DOI
Ianovski, Egor; Ong, Luke The complexity of decision problems about equilibria in two-player Boolean games. (English) Zbl 1452.91012 Artif. Intell. 261, 1-15 (2018). MSC: 91A05 91A35 91A68 PDFBibTeX XMLCite \textit{E. Ianovski} and \textit{L. Ong}, Artif. Intell. 261, 1--15 (2018; Zbl 1452.91012) Full Text: DOI Link
Porello, Daniele Logics for modelling collective attitudes. (English) Zbl 1386.68162 Fundam. Inform. 158, No. 1-3, 239-275 (2018). MSC: 68T27 68T42 91B14 PDFBibTeX XMLCite \textit{D. Porello}, Fundam. Inform. 158, No. 1--3, 239--275 (2018; Zbl 1386.68162) Full Text: DOI arXiv
Quintana, Ignacio Ojea On semantic gamification. (English) Zbl 1485.03255 Ghosh, Sujata (ed.) et al., Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10119, 183-197 (2017). MSC: 03G27 91A44 PDFBibTeX XMLCite \textit{I. O. Quintana}, Lect. Notes Comput. Sci. 10119, 183--197 (2017; Zbl 1485.03255) Full Text: DOI
De Clercq, Sofie; Schockaert, Steven; Nowé, Ann; De Cock, Martine Formalizing commitment-based deals in Boolean games. (English) Zbl 1396.91020 Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 329-337 (2016). MSC: 91A12 91A06 PDFBibTeX XMLCite \textit{S. De Clercq} et al., Front. Artif. Intell. Appl. 285, 329--337 (2016; Zbl 1396.91020) 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
Nievergelt, Yves Logic, mathematics, and computer science. Modern foundations with practical applications. 2nd edition, originally published under the title Foundations of logic and mathematics. Applications to computer science and cryptography. (English) Zbl 1334.03002 New York, NY: Springer (ISBN 978-1-4939-3222-1/hbk; 978-1-4939-3223-8/ebook). xii, 391 p. (2015). Reviewer: Merlin Carl (Konstanz) MSC: 03-01 03B05 03Exx 91Bxx 03B10 03B70 94D05 PDFBibTeX XMLCite \textit{Y. Nievergelt}, Logic, mathematics, and computer science. Modern foundations with practical applications. 2nd edition, originally published under the title Foundations of logic and mathematics. Applications to computer science and cryptography. New York, NY: Springer (2015; Zbl 1334.03002) Full Text: DOI
Herzberg, Frederik Corrigendum and addendum to “Universal algebra for general aggregation theory”. (English) Zbl 1319.91068 J. Log. Comput. 25, No. 3, 979-982 (2015). MSC: 91B14 03B50 06D35 PDFBibTeX XMLCite \textit{F. Herzberg}, J. Log. Comput. 25, No. 3, 979--982 (2015; Zbl 1319.91068) Full Text: DOI
Herzberg, Frederik S. Universal algebra for general aggregation theory: many-valued propositional-attitude aggregators as MV-homomorphisms. (English) Zbl 1319.91069 J. Log. Comput. 25, No. 3, 965-977 (2015). MSC: 91B14 03B50 06D35 PDFBibTeX XMLCite \textit{F. S. Herzberg}, J. Log. Comput. 25, No. 3, 965--977 (2015; Zbl 1319.91069) Full Text: DOI Link
Grant, John; Kraus, Sarit; Wooldridge, Michael; Zuckerman, Inon Manipulating games by sharing information. (English) Zbl 1329.91007 Stud. Log. 102, No. 2, 267-295 (2014). MSC: 91A10 03B05 03B42 91A28 PDFBibTeX XMLCite \textit{J. Grant} et al., Stud. Log. 102, No. 2, 267--295 (2014; Zbl 1329.91007) Full Text: DOI
Bonzon, Elise; Lagasquie-Schiex, Marie-Christine; Lang, Jérôme Effectivity functions and efficient coalitions in Boolean games. (English) Zbl 1275.91014 Synthese 187, Suppl. 1, 73-103 (2012). MSC: 91A12 03B05 PDFBibTeX XMLCite \textit{E. Bonzon} et al., Synthese 187, 73--103 (2012; Zbl 1275.91014) Full Text: DOI
Heljanko, Keijo; Keinänen, Misa; Lange, Martin; Niemelä, Ilkka Solving parity games by a reduction to SAT. (English) Zbl 1279.68211 J. Comput. Syst. Sci. 78, No. 2, 430-440 (2012). MSC: 68Q60 03B70 91A05 91A43 91A80 PDFBibTeX XMLCite \textit{K. Heljanko} et al., J. Comput. Syst. Sci. 78, No. 2, 430--440 (2012; Zbl 1279.68211) Full Text: DOI
Venkatesh, G. Temporal logic with preferences and reasoning about games. (English) Zbl 1319.03039 van Benthem, Johan (ed.) et al., Proof, computation and agency. Logic at the crossroads. Dordrecht: Springer (ISBN 978-94-007-0920-1/set; 978-94-007-0079-6/hbk; 978-94-007-0080-2/ebook). Synthese Library 352, 241-258 (2011). MSC: 03B44 91A18 91A20 PDFBibTeX XMLCite \textit{G. Venkatesh}, Synth. Libr. 352, 241--258 (2011; Zbl 1319.03039) Full Text: DOI
Fitting, Melvin Reasoning about games. (English) Zbl 1248.03028 Stud. Log. 99, No. 1-3, 143-169 (2011). MSC: 03B42 03B45 91A26 PDFBibTeX XMLCite \textit{M. Fitting}, Stud. Log. 99, No. 1--3, 143--169 (2011; Zbl 1248.03028) Full Text: DOI
Kaci, Souhila Working with preferences. Less is more. (English) Zbl 1239.68002 Cognitive Technologies. Berlin: Springer (ISBN 978-3-642-17279-3/hbk; 978-3-642-17280-9/ebook). xvi, 202 p. (2011). Reviewer: Éric Martin (Sydney) MSC: 68-01 68T27 03B60 91B08 PDFBibTeX XMLCite \textit{S. Kaci}, Working with preferences. Less is more. Berlin: Springer (2011; Zbl 1239.68002) Full Text: DOI
Loohuis, Loes Olde; Venema, Yde Logics and algebras for multiple players. (English) Zbl 1208.03057 Rev. Symb. Log. 3, No. 3, 485-519 (2010). Reviewer: Giacomo Bonanno (Davis) MSC: 03G25 03B05 03B45 68Q17 91A80 PDFBibTeX XMLCite \textit{L. O. Loohuis} and \textit{Y. Venema}, Rev. Symb. Log. 3, No. 3, 485--519 (2010; Zbl 1208.03057) Full Text: DOI
Strannegård, Claes; Ulfsbäcker, Simon; Hedqvist, David; Gärling, Tommy Reasoning processes in propositional logic. (English) Zbl 1202.03019 J. Logic Lang. Inf. 19, No. 3, 283-314 (2010). MSC: 03B05 03B70 91E10 PDFBibTeX XMLCite \textit{C. Strannegård} et al., J. Logic Lang. Inf. 19, No. 3, 283--314 (2010; Zbl 1202.03019) Full Text: DOI
Bonzon, Elise; Lagasquie-Schiex, Marie-Christine; Lang, Jérôme Dependencies between players in Boolean games. (English) Zbl 1186.91018 Int. J. Approx. Reasoning 50, No. 6, 899-914 (2009). MSC: 91A06 03B05 PDFBibTeX XMLCite \textit{E. Bonzon} et al., Int. J. Approx. Reasoning 50, No. 6, 899--914 (2009; Zbl 1186.91018) Full Text: DOI
Liu, Hu A cooperation logic for declaration structures. (English) Zbl 1196.68246 He, Xiangdong (ed.) et al., Logic, rationality, and interaction. Second international workshop, LORI 2009, Chongqing, China, October 8–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04892-0/pbk). Lecture Notes in Computer Science 5834. Lecture Notes in Artificial Intelligence, 189-197 (2009). MSC: 68T27 68T42 91A40 PDFBibTeX XMLCite \textit{H. Liu}, Lect. Notes Comput. Sci. 5834, 189--197 (2009; Zbl 1196.68246) Full Text: DOI
Tulenheimo, Tero; Venema, Yde Propositional logics for three. (English) Zbl 1244.03046 Dégremont, Cédric (ed.) et al., Dialogues, logics and other strange things. Essays in honour of Shahid Rahman. London: College Publications (ISBN 978-1-904987-13-0/pbk). Tributes 7, 399-430 (2008). MSC: 03B05 91A06 91A80 PDFBibTeX XMLCite \textit{T. Tulenheimo} and \textit{Y. Venema}, Tributes 7, 399--430 (2008; Zbl 1244.03046)
Bonzon, Elise; Lagasquie-Schiex, Marie-Christine; Lang, Jérôme Dependencies between players in Boolean games. (English) Zbl 1148.91300 Mellouli, Khaled (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31–November 2, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75255-4/pbk). Lecture Notes in Computer Science 4724. Lecture Notes in Artificial Intelligence, 743-754 (2007). MSC: 91A10 03B05 PDFBibTeX XMLCite \textit{E. Bonzon} et al., Lect. Notes Comput. Sci. 4724, 743--754 (2007; Zbl 1148.91300) Full Text: DOI
Pauly, Marc; Parikh, Rohit Game logic – an overview. (English) Zbl 1040.03013 Stud. Log. 75, No. 2, 165-182 (2003). MSC: 03B45 91A05 PDFBibTeX XMLCite \textit{M. Pauly} and \textit{R. Parikh}, Stud. Log. 75, No. 2, 165--182 (2003; Zbl 1040.03013) Full Text: DOI
List, Christian A possibility theorem on aggregation over multiple interconnected propositions. (English) Zbl 1031.91025 Math. Soc. Sci. 45, No. 1, 1-13 (2003). MSC: 91B12 PDFBibTeX XMLCite \textit{C. List}, Math. Soc. Sci. 45, No. 1, 1--13 (2003; Zbl 1031.91025) Full Text: DOI
Bulitko, Valeriy On Successive Approximations To The Choice Problem and Logic. arXiv:math/0205325 Preprint, arXiv:math/0205325 [math.LO] (2002). MSC: 03B05 91E10 BibTeX Cite \textit{V. Bulitko}, ``On Successive Approximations To The Choice Problem and Logic'', Preprint, arXiv:math/0205325 [math.LO] (2002) Full Text: arXiv
Pietarinen, Ahti-Veikko Propositional logic of imperfect information: Foundations and applications. (English) Zbl 1034.03035 Notre Dame J. Formal Logic 42, No. 4, 193-210 (2001). MSC: 03B60 03G12 81P10 91A18 PDFBibTeX XMLCite \textit{A.-V. Pietarinen}, Notre Dame J. Formal Logic 42, No. 4, 193--210 (2001; Zbl 1034.03035) Full Text: DOI
Sandu, Gabriel; Pietarinen, Ahti Partiality and games: Propositional logic. (English) Zbl 0971.03031 Log. J. IGPL 9, No. 1, 101-121 (2001). MSC: 03B60 91A80 PDFBibTeX XMLCite \textit{G. Sandu} and \textit{A. Pietarinen}, Log. J. IGPL 9, No. 1, 101--121 (2001; Zbl 0971.03031) Full Text: DOI
Pauly, Marc An introduction to game logic. (English) Zbl 0967.03021 Faller, Martina (ed.) et al., Formalizing the dynamics of information. Stanford, CA: CSLI, Center for the Study of Language and Information. CSLI Lect. Notes. 91, 69-84 (2000). MSC: 03B60 91A99 03B45 03B80 PDFBibTeX XMLCite \textit{M. Pauly}, in: Formalizing the dynamics of information. Stanford, CA: CSLI, Center for the Study of Language and Information. 69--84 (2000; Zbl 0967.03021)
Gu, Jun Randomized and deterministic local search for SAT and scheduling problems. (English) Zbl 0912.68020 Pardalos, Panos (ed.) et al., Randomization methods in algorithm design. DIMACS workshop, Princeton Univ., NJ, USA, December 12–14, 1997. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 43, 61-108 (1999). MSC: 68P10 68W10 03B05 91B06 90B35 68M20 90C27 91B32 PDFBibTeX XMLCite \textit{J. Gu}, DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 43, 61--108 (1999; Zbl 0912.68020)
Dekel, Eddie; Lipman, Barton L.; Rustichini, Aldo Standard state-space models preclude unawareness. (English) Zbl 1035.91019 Econometrica 66, No. 1, 159-173 (1998). Reviewer: Bogdan Choczewski (Kraków) MSC: 91B02 03B80 03E75 PDFBibTeX XMLCite \textit{E. Dekel} et al., Econometrica 66, No. 1, 159--173 (1998; Zbl 1035.91019) Full Text: DOI Link
Gu, Jun The Multi-SAT algorithm. (English) Zbl 0902.68094 Pardalos, Panos M. (ed.) et al., Topics in semidefinite and interior-point methods. Providence, RI: AMS, American Mathematical Society. Fields Inst. Commun. 18, 109-126 (1998). MSC: 68Q42 03B05 91B06 68T15 90C27 90B40 68T01 68Q15 68Q25 68P10 PDFBibTeX XMLCite \textit{J. Gu}, Fields Inst. Commun. 18, 109--126 (1998; Zbl 0902.68094)
Modica, S.; Rustichini, A. Awareness and partitional informational structures. (English) Zbl 0947.91503 Bacharach, M. O. L. (ed.) et al., Epistemic logic and the theory of games and decisions. Based on the conference, Marseille, France, January 1994. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. C. 20, 151-168 (1997). MSC: 91E99 03B42 03B45 03B80 PDFBibTeX XMLCite \textit{S. Modica} and \textit{A. Rustichini}, in: Epistemic logic and the theory of games and decisions. Based on the conference, Marseille, France, January 1994. Dordrecht: Kluwer Academic Publishers. 151--168 (1997; Zbl 0947.91503)
Baratella, Stefano; Berardi, Stefano A parallel game semantics for linear logic. (English) Zbl 0923.03063 Arch. Math. Logic 36, No. 3, 189-217 (1997). MSC: 03F03 03F50 91A80 PDFBibTeX XMLCite \textit{S. Baratella} and \textit{S. Berardi}, Arch. Math. Logic 36, No. 3, 189--217 (1997; Zbl 0923.03063) Full Text: DOI
Niwiński, Damian; Walukiewicz, Igor Games for the \(\mu\)-calculus. (English) Zbl 0872.03017 Theor. Comput. Sci. 163, No. 1-2, 99-116 (1996). MSC: 03B70 03B45 68Q60 91A05 PDFBibTeX XMLCite \textit{D. Niwiński} and \textit{I. Walukiewicz}, Theor. Comput. Sci. 163, No. 1--2, 99--116 (1996; Zbl 0872.03017) Full Text: DOI
Kaneko, Mamoru; Nagashima, Takashi Game logic and its applications. I. (English) Zbl 0858.03035 Stud. Log. 57, No. 2-3, 325-354 (1996). MSC: 03B80 91A99 03C75 03B45 PDFBibTeX XMLCite \textit{M. Kaneko} and \textit{T. Nagashima}, Stud. Log. 57, No. 2--3, 325--354 (1996; Zbl 0858.03035) Full Text: DOI
Gu, Jun Parallel algorithms for satisfiability (SAT) problem. (English) Zbl 0833.68059 Pardalos, Panos M. (ed.) et al., Parallel processing of discrete optimization problems. Proceedings of a DIMACS workshop, April 28-29, 1994, Rutgers University, New Brunswick, NJ, USA. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 22, 105-161 (1995). MSC: 68W15 03B05 91B06 68T15 68Q42 90C27 PDFBibTeX XMLCite \textit{J. Gu}, DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 22, 105--161 (1995; Zbl 0833.68059)
Modica, Salvatore; Rustichini, Aldo Awareness and partitional information structures. (English) Zbl 0822.92028 Theory Decis. 37, No. 1, 107-124 (1994). MSC: 91E99 03B45 03B80 PDFBibTeX XMLCite \textit{S. Modica} and \textit{A. Rustichini}, Theory Decis. 37, No. 1, 107--124 (1994; Zbl 0822.92028) Full Text: DOI
Bonanno, Giacomo The logical representation of extensive games. (English) Zbl 0787.90110 Int. J. Game Theory 22, No. 2, 153-169 (1993). Reviewer: G.Bonanno (Cambridge / Mass.) MSC: 91A05 03B05 PDFBibTeX XMLCite \textit{G. Bonanno}, Int. J. Game Theory 22, No. 2, 153--169 (1993; Zbl 0787.90110) Full Text: DOI
Ristad, Eric Sven; Berwick, Robert C. Computational consequences of agreement and ambiguity in natural language. (English) Zbl 0747.92034 J. Math. Psychol. 33, No. 4, 379-396 (1989). MSC: 91F20 68Q05 91E99 03B65 68Q25 PDFBibTeX XMLCite \textit{E. S. Ristad} and \textit{R. C. Berwick}, J. Math. Psychol. 33, No. 4, 379--396 (1989; Zbl 0747.92034) Full Text: DOI Link
Chlebus, Bogdan S. Domino-tiling games. (English) Zbl 0618.68045 J. Comput. Syst. Sci. 32, 374-392 (1986). Reviewer: A.Kreczmar MSC: 68Q25 91A05 05B45 91A80 03B70 PDFBibTeX XMLCite \textit{B. S. Chlebus}, J. Comput. Syst. Sci. 32, 374--392 (1986; Zbl 0618.68045) Full Text: DOI
Parikh, Rohit Propositional logics of programs: New directions. (English) Zbl 0539.68016 Foundations of computation theory, Proc. int. FCT-Conf., Borgholm/Swed. 1983, Lect. Notes Comput. Sci. 158, 347-359 (1983). Reviewer: J.Hořejš MSC: 68Q65 91A12 03B60 03B45 68Q60 PDFBibTeX XML
Ivolgin, I. On moderateness. (English) Zbl 0411.92020 Izobret. Ratsion. 30, No. 7, 39-40 (1979). Reviewer: Vladik Ya. Kreinovich (El Paso) MSC: 91D99 03B05 PDFBibTeX XML
Billera, Louis J. Clutter decomposition and monotonic Boolean functions. (English) Zbl 0244.05005 Ann. N.Y. Acad. Sci. 175, 41-48 (1970). MSC: 05A05 03B05 91A05 PDFBibTeX XMLCite \textit{L. J. Billera}, Ann. N. Y. Acad. Sci. 175, 41--48 (1970; Zbl 0244.05005) Full Text: DOI