Başkent, Can; Henrique Carrasqueira, Pedro A game theoretical semantics for a logic of formal inconsistency. (English) Zbl 07291115 Log. J. IGPL 28, No. 5, 936-952 (2020). MSC: 03 68 PDF BibTeX XML Cite \textit{C. Başkent} and \textit{P. Henrique Carrasqueira}, Log. J. IGPL 28, No. 5, 936--952 (2020; Zbl 07291115) Full Text: DOI
Link, Montgomery Hintikka and the functions of logic. (English) Zbl 07127907 Log. Univers. 13, No. 2, 203-217 (2019). MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{M. Link}, Log. Univers. 13, No. 2, 203--217 (2019; Zbl 07127907) Full Text: DOI
Shevchenko, Igor’ Yur’evich About effective versions of game theoretical semantics for first-order logic. (Russian. English summary) Zbl 1432.03045 Sib. Èlektron. Mat. Izv. 16, 618-637 (2019). MSC: 03B60 PDF BibTeX XML Cite \textit{I. Y. Shevchenko}, Sib. Èlektron. Mat. Izv. 16, 618--637 (2019; Zbl 1432.03045) Full Text: DOI
Knuuttila, Simo Questions of epistemic logic in Hintikka. (English) Zbl 1437.03068 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, 413-431 (2018). MSC: 03B42 03-03 01A60 PDF BibTeX XML Cite \textit{S. Knuuttila}, Outst. Contrib. Log. 12, 413--431 (2018; Zbl 1437.03068) Full Text: DOI
Sandu, Gabriel Short overview of the development of Hintikka’s work in logic. (English) Zbl 1437.03006 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, 1-18 (2018). MSC: 03-03 01A70 PDF BibTeX XML Cite \textit{G. Sandu}, Outst. Contrib. Log. 12, 1--18 (2018; Zbl 1437.03006) Full Text: DOI
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 PDF BibTeX XML Cite \textit{G. Sandu} and \textit{S. Velica}, Outst. Contrib. Log. 11, 165--184 (2017; Zbl 1437.91117) Full Text: DOI
Barbero, Fausto; Hella, Lauri; Rönnholm, Raine Independence-friendly logic without Henkin quantification. (English) Zbl 06820458 Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55385-5/pbk; 978-3-662-55386-2/ebook). Lecture Notes in Computer Science 10388, 14-30 (2017). MSC: 03B70 PDF BibTeX XML Cite \textit{F. Barbero} et al., Lect. Notes Comput. Sci. 10388, 14--30 (2017; Zbl 06820458) Full Text: DOI
Başkent, Can Game theoretical semantics for some non-classical logics. (English) Zbl 1398.03136 J. Appl. Non-Class. Log. 26, No. 3, 208-239 (2016). MSC: 03B53 03B45 03B47 03B50 PDF BibTeX XML Cite \textit{C. Başkent}, J. Appl. Non-Class. Log. 26, No. 3, 208--239 (2016; Zbl 1398.03136) Full Text: DOI
Sandu, Gabriel Languages for imperfect information. (English) Zbl 1422.91133 van Benthem, Johan (ed.) et al., Models of strategic reasoning. Logics, games, and communities. Berlin: Springer. Lect. Notes Comput. Sci. 8972, 202-251 (2015). MSC: 91A28 91A05 91A18 03B10 PDF BibTeX XML Cite \textit{G. Sandu}, Lect. Notes Comput. Sci. 8972, 202--251 (2015; Zbl 1422.91133) Full Text: DOI
Pavlova, Aleksandra Mikhaĭlovna Truth in dialogue logic and game-theoretical semantics (GTS). (Russian. English summary) Zbl 1370.03035 Log. Issled. 21, No. 2, 107-133 (2015). MSC: 03B60 91A80 91A05 PDF BibTeX XML Cite \textit{A. M. Pavlova}, Log. Issled. 21, No. 2, 107--133 (2015; Zbl 1370.03035)
Tulenheimo, Tero Classical negation and game-theoretical semantics. (English) Zbl 1342.03030 Notre Dame J. Formal Logic 55, No. 4, 469-498 (2014). MSC: 03B60 03C80 03B15 PDF BibTeX XML Cite \textit{T. Tulenheimo}, Notre Dame J. Formal Logic 55, No. 4, 469--498 (2014; Zbl 1342.03030) Full Text: DOI Euclid
Sandu, Gabriel Dynamic logic versus GTS: a case study. (English) Zbl 1273.03027 Karpenko, A. S. (ed.), Logicheskie issledovaniya. 19. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-143-6/hbk). 200-224 (2013). MSC: 03A05 03B42 03B48 91A80 PDF BibTeX XML Cite \textit{G. Sandu}, in: Logicheskie issledovaniya. 19. Moskva: Tsentr Gumanitarnykh Initsiativ. 200--224 (2013; Zbl 1273.03027)
Boyer, Julien; Sandu, Gabriel Between proof and truth. (English) Zbl 1275.03019 Synthese 187, No. 3, 821-832 (2012); erratum ibid. 187, No. 3, 973-974 (2012). MSC: 03A05 PDF BibTeX XML Cite \textit{J. Boyer} and \textit{G. Sandu}, Synthese 187, No. 3, 821--832 (2012; Zbl 1275.03019) Full Text: DOI
Cintula, Petr; Majer, Ondrej Towards evaluation games for fuzzy logics. (English) Zbl 1167.03021 Majer, Ondrej (ed.) et al., Games: Unifying logic, language, and philosophy. Berlin: Springer (ISBN 978-1-4020-9373-9/hbk; 978-1-4020-9374-6/e-book). Logic, Epistemology, and the Unity of Science 15, 117-138 (2009). MSC: 03B52 03B50 91A80 PDF BibTeX XML Cite \textit{P. Cintula} and \textit{O. Majer}, Log. Epistemol. Unity Sci. 15, 117--138 (2009; Zbl 1167.03021)
Hintikka, Jaakko What is the true algebra of first-order logic? (English) Zbl 1097.03060 Hendricks, Vincent (ed.) et al., First-order logic revisited. Proceedings of the conference FOL75 – 75 years of first-order logic, Humboldt-University, Berlin, Germany, September 18–21, 2003. Berlin: Logos Verlag (ISBN 3-8325-0475-3/pbk). Logische Philosophie 12, 117-128 (2004). Reviewer: Osamu Sonobe (Follonica) MSC: 03G25 03B10 03A05 03B60 91A80 PDF BibTeX XML Cite \textit{J. Hintikka}, in: First-order logic revisited. Proceedings of the conference FOL75 -- 75 years of first-order logic, Humboldt-University, Berlin, Germany, September 18--21, 2003. Berlin: Logos Verlag. 117--128 (2004; Zbl 1097.03060)
Pietarinen, Ahti-Veikko; Sandu, Gabriel IF logic, game-theoretic semantics, and the philosophy of science. (English) Zbl 1083.03017 Rahman, Shahid (ed.) et al., Logic, epistemology, and the unity of science. Berlin: Springer (ISBN 1-4020-2807-5/hbk; 1-4020-2808-3/e-book). Logic, Epistemology, and the Unity of Science 1, 105-138 (2004). MSC: 03A05 03B60 91A99 03-02 PDF BibTeX XML Cite \textit{A.-V. Pietarinen} and \textit{G. Sandu}, Log. Epistemol. Unity Sci. 1, 105--138 (2004; Zbl 1083.03017)
Hintikka, Jaakko A second generation epistemic logic and its general signficance. (English) Zbl 1087.03010 Hendricks, Vincent F. (ed.) et al., Knowledge contributors. Based on the conference on dimensions in epistemic logic, Roskilde, Denmark, May 2002. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1747-2/hbk). Synthese Library 322, 33-55 (2003). Reviewer: Osamu Sonobe (Follonica) MSC: 03B42 03A05 03B60 91A80 91A40 PDF BibTeX XML Cite \textit{J. Hintikka}, Synth. Libr. 322, 33--55 (2003; Zbl 1087.03010)
Hintikka, Jaakko Hyperclassical logic (a. k. a. IF logic) and its implications for logical theory. (English) Zbl 1020.03024 Bull. Symb. Log. 8, No. 3, 404-423 (2002). Reviewer: Volker Peckhaus (Paderborn) MSC: 03B60 03A05 PDF BibTeX XML Cite \textit{J. Hintikka}, Bull. Symb. Log. 8, No. 3, 404--423 (2002; Zbl 1020.03024) Full Text: DOI Link
Janssen, Theo M. V. Independent choices and the interpretation of IF logic. (English) Zbl 1003.03025 J. Logic Lang. Inf. 11, No. 3, 367-387 (2002). MSC: 03B60 03C80 91A80 PDF BibTeX XML Cite \textit{T. M. V. Janssen}, J. Logic Lang. Inf. 11, No. 3, 367--387 (2002; Zbl 1003.03025) Full Text: DOI
Hintikka, Jaakko Game-theoretical semantics as a challenge to proof theory. (English) Zbl 0947.03004 Nord. J. Philos. Log. 4(1999), No. 2, 127-141 (2000). MSC: 03A05 03F03 00A30 91A80 PDF BibTeX XML Cite \textit{J. Hintikka}, Nord. J. Philos. Log. 4, No. 2, 127--141 (2000; Zbl 0947.03004) Full Text: Link
Hintikka, Jaakko The principles of mathematics revisited. (English) Zbl 0897.03004 Cambridge: Cambridge University Press. xii, 288 p. (1998). MSC: 03-02 00A30 03A05 03B20 PDF BibTeX XML Cite \textit{J. Hintikka}, The principles of mathematics revisited. Cambridge: Cambridge University Press (1998; Zbl 0897.03004)
de Swart, Harrie; Verhoeff, Tom; Brands, Renske Hintikka’s “The principles of mathematics revisited”. (English) Zbl 0977.03503 Log. Anal., Nouv. Sér. 40, No. 159, 281-289 (1997). MSC: 03A05 00A30 01A60 03B30 03B60 PDF BibTeX XML Cite \textit{H. de Swart} et al., Log. Anal., Nouv. Sér. 40, No. 159, 281--289 (1997; Zbl 0977.03503)
van Benthem, Johan (ed.); ter Meulen, Alice (ed.) Handbook of logic and language. (English) Zbl 0874.03001 Amsterdam: North-Holland. xxiii, 1247 p. (1997). Reviewer: H.Wansing (Leipzig) MSC: 03-00 03B65 68T50 PDF BibTeX XML Cite \textit{J. van Benthem} (ed.) and \textit{A. ter Meulen} (ed.), Handbook of logic and language. Amsterdam: North-Holland (1997; Zbl 0874.03001)
Hintikka, Jaakko The principles of mathematics revisited. (English) Zbl 0869.03003 Cambridge: Cambridge Univ. Press. xii, 288 p. (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03-02 00A30 03A05 03B20 PDF BibTeX XML Cite \textit{J. Hintikka}, The principles of mathematics revisited. Cambridge: Cambridge Univ. Press (1996; Zbl 0869.03003)
Hand, Michael A defense of branching quantification. (English) Zbl 0790.03003 Synthese 95, No. 3, 419-432 (1993). MSC: 03A05 03B10 03B15 PDF BibTeX XML Cite \textit{M. Hand}, Synthese 95, No. 3, 419--432 (1993; Zbl 0790.03003) Full Text: DOI
Patton, Thomas E. On the ontology of branching quantifiers. (English) Zbl 0718.03019 J. Philos. Log. 20, No. 2, 205-223 (1991). Reviewer: T.E.Patton MSC: 03B65 03A05 PDF BibTeX XML Cite \textit{T. E. Patton}, J. Philos. Log. 20, No. 2, 205--223 (1991; Zbl 0718.03019) Full Text: DOI
Hintikka, Jaakko; Sandu, Gabriel Informational independence as a semantical phenomenon. (English) Zbl 0683.03004 Logic, methodology and philosophy of science VIII, Proc. 8th Int. Congr., Moscow/USSR 1987, Stud. Logic Found. Math. 126, 571-589 (1989). Reviewer: P.Materna MSC: 03A05 03B65 PDF BibTeX XML
Cresswell, M. J. Semantical essays. Possible worlds and their rivals. (English) Zbl 0721.03002 Studies in Linguistics and Philosophy, 36. Dordrecht etc.: Kluwer Academic Publishers. viii, 210 p. £36.00; $ 64.00; Dfl. 120.00 (1988). Reviewer: W.Lenzen (Osnabrück) MSC: 03-02 03B45 03A05 03B65 00B60 PDF BibTeX XML Cite \textit{M. J. Cresswell}, Semantical essays. Possible worlds and their rivals. Dordrecht etc.: Kluwer Academic Publishers (1988; Zbl 0721.03002)
Hand, Michael Other and else: Restrictions on quantifier domains in game-theoretical semantics. (English) Zbl 0628.03012 Notre Dame J. Formal Logic 28, 423-430 (1987). MSC: 03B65 PDF BibTeX XML Cite \textit{M. Hand}, Notre Dame J. Formal Logic 28, 423--430 (1987; Zbl 0628.03012) Full Text: DOI
Blinov, A. L. Semantics and game theory. (Semantika i teoriya igr). (Russian) Zbl 0542.03001 Akademiya Nauk SSSR, Sibirskoe Otdelenie. Institut Istorii, Filologii i Filosofii. Novosibirsk: Izdatel’stvo ”Nauka” Sibirskoe Otdelenie. 128 p. R. 0.70 (1983). Reviewer: P.Materna MSC: 03A05 91A80 03B65 03-02 91A05 PDF BibTeX XML
Hintikka, Jaakko The game of language. Studies in game-theoretical semantics and its applications. In collab. with Jack Kulas. (English) Zbl 0524.03015 Synthese Language Library, Vol. 22. Dordrecht - Boston - Lancaster: D. Reidel Publishing Company, a member of the Kluwer Academic Publishers Group. XII, 342 p. Dfl. 115.00; $ 34.50 (1983). MSC: 03B65 68Q55 03A05 03-02 91A40 PDF BibTeX XML
Hintikka, Jaakko Temporal discourse and semantical games. (English) Zbl 0514.68079 Linguist. Philos. 5, 3-22 (1982). MSC: 68Q55 91A80 03A05 PDF BibTeX XML Cite \textit{J. Hintikka}, Linguist. Philos. 5, 3--22 (1982; Zbl 0514.68079) Full Text: DOI
Higginbotham, James Comments on Hintikka’s paper. (English) Zbl 0476.03018 Notre Dame J. Formal Logic 23, 263-271 (1982). MSC: 03A05 03B65 PDF BibTeX XML Cite \textit{J. Higginbotham}, Notre Dame J. Formal Logic 23, 263--271 (1982; Zbl 0476.03018) Full Text: DOI
Rantala, Veikko Infinitely deep game sentences and interpolation. (English) Zbl 0484.03015 Acta Philos. Fenn. 32, 211-219 (1981). MSC: 03C75 03C40 03A05 PDF BibTeX XML Cite \textit{V. Rantala}, Acta Philos. Fenn. 32, 211--219 (1981; Zbl 0484.03015)
Saarinen, Esa (ed.) Game-theoretical semantics. Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen. (English) Zbl 0448.03002 Synthese Language Library, Vol. 5. Dordrecht - Boston - London: D. Reidel Publishing Company. XIV, 392 p. Dfl. 90.00 (1979). MSC: 03A05 03-06 00Bxx 68Q55 91A80 91D99 PDF BibTeX XML