Temat: "Kripke" - OpacWWW - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Kripke"" wg kryterium: Temat

Wyświetlanie 1-20 z 2986

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: A Categorical Metamodel for Reactive Kripke Frames.
Autorzy:: Crăciunean, Daniel C.; Pokaż więcej
Źródło:: International Journal of Advanced Statistics & IT&C for Economics & Life Sciences. Dec2023, Vol. 13 Issue 1, p3-13. 11p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 2.

Tytuł:: THE UGLY HUMANITY OF THE BOYS.
Autorzy:: LOWACHEE, KARIN; Pokaż więcej
Temat:: BOYS, The (TV program)
KRIPKE, Eric
URBAN, Karl
Źródło:: Fantasy & Science Fiction. Jan/Feb2024, p158-161. 4p.

Periodyk

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 3.

Tytuł:: Residuated Basic Logic.
Autorzy:: Lin, Zhe (AUTHOR)
Ma, Minghui (AUTHOR); Pokaż więcej
Źródło:: Axioms (2075-1680). Oct2023, Vol. 12 Issue 10, p966. 18p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 4.

Tytuł:: La presencia de aspectos intencionales en el Nombrar de Kripke.
Autorzy:: Vergara, Vincent; Pokaż więcej
Alternatywny tytuł:: The Presence of Intentional Aspects in Kripke's Naming.
Źródło:: Revista de Filosofía. jul-sep2023, Vol. 40 Issue 105, p12-23. 12p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Relational Semantics for Ockham's Modalities.
Autorzy:: Falessi, Davide (AUTHOR)
Schang, Fabien (AUTHOR); Pokaż więcej
Źródło:: Axioms (2075-1680). May2023, Vol. 12 Issue 5, p445. 22p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 6.

Tytuł:: The relevance logic of Boolean groups.
Autorzy:: Weiss, Yale (AUTHOR); Pokaż więcej
Źródło:: Logic Journal of the IGPL. Feb2023, Vol. 31 Issue 1, p96-114. 19p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 7.

Tytuł:: Forcing and Calculi for Hybrid Logics.
Autorzy:: GĂINĂ, DANIEL; Pokaż więcej
Źródło:: Journal of the ACM. Aug2020, Vol. 67 Issue 4, p1-55. 55p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 8.

Tytuł:: A Dilemma for Dispositional Answers to Kripkenstein's Challenge.
Autorzy:: Guardo, Andrea (AUTHOR); Pokaż więcej
Źródło:: Minds & Machines. Mar2023, Vol. 33 Issue 1, p135-152. 18p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 9.

Tytuł:: Biomedical Text Classification Using Augmented Word Representation Based on Distributional and Relational Contexts.
Autorzy:: Parwez, Md. Aslam (AUTHOR)
Fazil, Mohd. (AUTHOR)
Arif, Muhammad (AUTHOR)
Nafis, Md Tabrez (AUTHOR)
Auwul, Md. Rabiul (AUTHOR); Pokaż więcej
Źródło:: Computational Intelligence & Neuroscience. 2/15/2023, p1-22. 22p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 10.

Tytuł:: The Implicative Conditional.
Autorzy:: Raidl, Eric (AUTHOR)
Gomes, Gilberto (AUTHOR); Pokaż więcej
Źródło:: Journal of Philosophical Logic. Feb2024, Vol. 53 Issue 1, p1-47. 47p.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: A Kripkean argument for descriptivism.
Autorzy:: Kipper, Jens (AUTHOR)
Soysal, Zeynep (AUTHOR); Pokaż więcej
Źródło:: Nous. Sep2022, Vol. 56 Issue 3, p654-669. 16p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 12.

Tytuł:: Theory and application of labelling techniques for interpretability logics.
Autorzy:: Goris, Evan (AUTHOR)
Bílková, Marta (AUTHOR)
Joosten, Joost J. (AUTHOR)
Mikec, Luka (AUTHOR); Pokaż więcej
Źródło:: Mathematical Logic Quarterly. Aug2022, Vol. 68 Issue 3, p352-374. 23p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 13.

Tytuł:: Implicational tonoid semilinear logics: Prelinear logics and their relational semantics.
Autorzy:: Yang, Eunsuk (AUTHOR); Pokaż więcej
Źródło:: Journal of Intelligent & Fuzzy Systems. 2022, Vol. 43 Issue 1, p1541-1552. 12p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 14.

Tytuł:: Kripke's knowledge argument against materialism.
Autorzy:: Renero, Adriana (AUTHOR); Pokaż więcej
Źródło:: Philosophical Perspectives. Dec2023, Vol. 37 Issue 1, p370-387. 18p.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Exact Truthmaker Semantics for Modal Logics
Autorzy:: Kim, DongwooAff1, IDs10992024097529_cor1; Pokaż więcej
Źródło:: Journal of Philosophical Logic. :1-41

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic
Autorzy:: Ma, MinghuiAff1, IDs11225024100954_cor1
Guo, Juntong; Pokaż więcej
Źródło:: Studia Logica: An International Journal for Symbolic Logic. :1-30

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Variations on the Kripke Trick
Autorzy:: Rybakov, Mikhail
Shkatov, DmitryAff2, Aff3, IDs1122502310093y_cor2; Pokaż więcej
Źródło:: Studia Logica: An International Journal for Symbolic Logic. :1-48

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Admissible Inference Rules of Modal WCP-Logics
Autorzy:: Rimatskiy, V. V.Aff1, IDS0037446624010142_cor1; Pokaż więcej
Źródło:: Siberian Mathematical Journal. 65(1):153-166

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Medical Knowledge Graph Completion Based on Word Embeddings.
Autorzy:: Gao, Mingxia (AUTHOR)
Lu, Jianguo (AUTHOR)
Chen, Furong (AUTHOR); Pokaż więcej
Źródło:: Information (2078-2489). Apr2022, Vol. 13 Issue 4, p205-205. 16p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 20.

Tytuł:: Some Implicational Semilinear Gaggle Logics: (Dual) Residuated-Connected Logics.
Autorzy:: Yang, Eunsuk (AUTHOR); Pokaż więcej
Źródło:: Axioms (2075-1680). Apr2022, Vol. 11 Issue 4, p183. 13p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Wyświetlanie 1-20 z 2986

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę ""Kripke"" wg kryterium: Temat

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji