Výsledky vyhledávání
- 1.0562181 - FLÚ 2024 RIV NL eng J - Článek v odborném periodiku
Pezlar, Ivo
Type Polymorphism, Natural Language Semantics, and TIL.
Journal of Logic, Language, and Information. Roč. 32, č. 2 (2023), s. 275-295. ISSN 0925-8531. E-ISSN 1572-9583
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: notional attitudes * polymorphism * type theory * transparent intensional logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10849-022-09383-w
Trvalý link: https://hdl.handle.net/11104/0343099 - 2.0537581 - ÚI 2022 RIV CH eng J - Článek v odborném periodiku
Punčochář, Vít - Sedlár, Igor
Inquisitive Propositional Dynamic Logic.
Journal of Logic, Language, and Information. Roč. 30, č. 1 (2021), s. 91-116. ISSN 0925-8531. E-ISSN 1572-9583
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Inquisitive semantics * Propositional dynamic logic * Logic of programs * Logic of questions
Obor OECD: Pure mathematics
Impakt faktor: 0.617, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s10849-020-09326-3
Trvalý link: http://hdl.handle.net/11104/0315403Název souboru Staženo Velikost Komentář Verze Přístup 0537581-afin.pdf 1 460.9 KB Vydavatelský postprint povolen - 3.0447718 - FLÚ 2016 RIV NL eng J - Článek v odborném periodiku
Punčochář, Vít
Weak negation in inquisitive semantics.
Journal of Logic, Language, and Information. Roč. 24, č. 3 (2015), s. 323-355. ISSN 0925-8531. E-ISSN 1572-9583
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: inquisitive semantics * negation * possible worlds * Fitch-style natural deduction * denial
Kód oboru RIV: AA - Filosofie a náboženství
Impakt faktor: 0.450, rok: 2015
http://link.springer.com/article/10.1007%2Fs10849-015-9219-2
Trvalý link: http://hdl.handle.net/11104/0249484 - 4.0444109 - FLÚ 2016 RIV NL eng J - Článek v odborném periodiku
Peregrin, Jaroslav
Logic Reduced To Bare (Proof-Theoretical) Bones.
Journal of Logic, Language, and Information. Roč. 24, č. 2 (2015), s. 193-209. ISSN 0925-8531. E-ISSN 1572-9583
Institucionální podpora: RVO:67985955
Klíčová slova: inference * incompatibility * proof theory * intuitionistic logic
Kód oboru RIV: AA - Filosofie a náboženství
Impakt faktor: 0.450, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0246777 - 5.0403983 - UIVT-O 20000123 RIV NL eng J - Článek v odborném periodiku
Dubois, D. - Hájek, Petr - Prade, H.
Knowledge-Driven Versus Data-Driven Logics.
Journal of Logic, Language, and Information. Roč. 9, č. 1 (2000), s. 65-89. ISSN 0925-8531. E-ISSN 1572-9583
Grant CEP: GA AV ČR IAA1030601
Grant ostatní: CNRS(FR) 4008
Výzkumný záměr: AV0Z1030915
Klíčová slova: epistemic logic * possibility theory * data-driven reasoning * deontic logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124264Název souboru Staženo Velikost Komentář Verze Přístup a0403983.pdf 2 154.2 KB Vydavatelský postprint vyžádat - 6.0384790 - FLÚ 2013 RIV NL eng J - Článek v odborném periodiku
Childers, Timothy - Majer, Ondrej
Interpreting Probability.
Journal of Logic, Language, and Information. Roč. 21, č. 2 (2012), s. 141-144. ISSN 0925-8531. E-ISSN 1572-9583
Grant CEP: GA ČR(CZ) GAP401/10/1504
Institucionální podpora: RVO:67985955
Klíčová slova: probability * interpretation
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0214317Název souboru Staženo Velikost Komentář Verze Přístup 2012_J_0384790.pdf 0 83.2 KB Vydavatelský postprint povolen