-
1دورية أكاديمية
المؤلفون: Şişkolar, CemAff1, IDs10988023093941_cor1
المصدر: Linguistics and Philosophy. 47(2):211-237
-
2دورية أكاديمية
المؤلفون: Vincenzo Ciccarelli
المصدر: Principia: An International Journal of Epistemology, Vol 28, Iss 1 (2024)
مصطلحات موضوعية: Descartes, Meditations, Causal argument, Quantified modal logic, Free logic, Philosophy. Psychology. Religion, Philosophy (General), B1-5802
وصف الملف: electronic resource
-
3كتاب إلكتروني
المؤلفون: Taprogge, MelanieAff9, Steen, AlexanderAff9
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Seipel, Dietmar, editorAff7, Steen, Alexander, editorAff8
المصدر: KI 2023: Advances in Artificial Intelligence : 46th German Conference on AI, Berlin, Germany, September 26–29, 2023, Proceedings. 14236:215-230
-
4كتاب إلكتروني
المؤلفون: Lyon, Tim S.Aff9, Orlandelli, EugenioAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Ramanayake, Revantha, editorAff7, Urban, Josef, editorAff8
المصدر: Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. 14278:449-467
-
5
المؤلفون: Rönnedal, Daniel
المصدر: Logica Universalis. 15(1):1-65
مصطلحات موضوعية: Quantified modal logic, Modal logic, Temporal logic, Boulesic logic, Doxastic logic, Semantic tableaux
وصف الملف: print
-
6كتاب إلكتروني
المؤلفون: Ghilardi, SilvioAff4
المساهمون: Hansson, Sven Ove, Editor-in-ChiefAff1, Citkin, Alex, editorAff2, Vandoulakis, Ioannis M., editorAff3
المصدر: V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics. 24:165-175
-
7كتاب إلكتروني
-
8دورية أكاديمية
المؤلفون: Nencha, CristinaAff1, Aff2, IDs11229022038139_cor1
المصدر: Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science. 200(5)
-
9كتاب إلكتروني
المؤلفون: Alexander, Samuel AllenAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Cleophas, Loek, editorAff8, Massink, Mieke, editorAff9
المصدر: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers. 12524:201-213
-
10دورية أكاديمية
المؤلفون: SILVESTRE, RICARDO SOUSA
المصدر: Manuscrito. December 2021 44(4)
مصطلحات موضوعية: Concept of God, Formal Philosophy of Religion, Simplest Quantified Modal Logic, Religious Plurality
وصف الملف: text/html