Fundamenta Informaticae - Tom Vol. 164, nr 4 (2019) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 164, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

Polskie Towarzystwo Matematyczne

Rocznik

2019

Identyfikatory

Uwagi

Bridging Logic, Philosophy, Computer and Cognitive Science : in the Memory of Marcin Mostowski (1955-2017)

Zawartość wolumenu

Vol. 164, nr 4
- artykuł: A Modal Logic of a Truth Definition for Finite Models (Czarnecki Marek, Zdanowski Konrad), s. 299--325
- artykuł: Continuation Semantics for Multi-Quantifier Sentences : Operation-Based Approaches (Grudzińska Justyna, Zawadowski Marek), s. 327--344
- artykuł: Some Remarks on Least Moduli (Kalociński Dariusz), s. 345--358
- artykuł: co-Semi-analytic Functors (Zawadowski Marek), s. 359--373
- artykuł: One Henkin Quantifier in the Empty Vocabulary Suffices for Undecidability (Zdanowski Konrad), s. 375--386

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.