Temat: Predicate modal logic

Skocz do pozycji: 1.

Tytuł:: An Arithmetically Complete Predicate Modal Logic
Autorzy:: Hao, Yunge
Tourlakis, George
Data publikacji:: 2021-08-23
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Predicate modal logic
arithmetic completeness
logic GL
Solovay's theorem
equational proofs; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Pragmatyczne znaczenia predykatu modalnego móc w konstrukcjach konwersacyjnych dzieci przedszkolnych
Pragmatical senses of modal predicate móc in conversational constructions of preschool children
Autorzy:: Brzdęk Ewa
Data publikacji:: 2016
Tematy:: modalność intencjonalna
modalność fakultatywna
predykat modalny móc
pragmalingwistyka
pośrednie akty mowy
kompetencja dyskursywna
intentional modality
modal logic
modal predicate móc
pragmalinguistics
indirect acts of speech
discourse competence; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Pragmatyczne znaczenia predykatu modalnego móc w konstrukcjach konwersacyjnych dzieci przedszkolnych
Pragmatical senses of modal predicate móc in conversational constructions of preschool children
Autorzy:: Brzdęk, Ewa
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Instytut Języka Polskiego PAN
Tematy:: modalność intencjonalna
modalność fakultatywna
predykat modalny móc
pragmalingwistyka
pośrednie akty mowy
kompetencja dyskursywna
intentional modality
modal logic
modal predicate móc
pragmalinguistics
indirect acts of speech
discourse competence; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On the proof-theory of a first-order extension of GL
Autorzy:: Schwartz Yehuda
Tourlakis George
Data publikacji:: 2013-09-18
Tematy:: Gentzen-style logic
Gentzen’s Hauptsatz
Hilbert-style logic
GL
K4
provability logic
provability predicate
modal first-order logic
sequent calculus
cut-elimination
reflection theorem
Craig interpolation
arithmetical interpretation
soundness
arithmetical completeness; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Informacja