Výsledky vyhledávání

  1. 1.
    0559445 - ÚI 2023 RIV DE eng J - Článek v odborném periodiku
    Goris, E. - Bílková, Marta - Joosten, J.J. - Mikec, L.
    Theory and Application of Labelling Techniques for Interpretability Logics.
    Mathematical Logic Quarterly. Roč. 68, č. 3 (2022), s. 352-374. ISSN 0942-5616. E-ISSN 1521-3870
    Institucionální podpora: RVO:67985807
    Klíčová slova: modal logic * interpretability logic * Veltman semantics * completeness
    Obor OECD: Pure mathematics
    Impakt faktor: 0.3, rok: 2022
    Způsob publikování: Omezený přístup
    https://dx.doi.org/10.1002/malq.202200015
    Trvalý link: https://hdl.handle.net/11104/0332745
     
     
  2. 2.
    0536783 - MÚ 2021 RIV GB eng J - Článek v odborném periodiku
    Pakhomov, Fedor - Zapryagaev, A.
    Multi-dimensional interpretations of Presburger arithmetic in itself.
    Journal of Logic and Computation. Roč. 30, č. 8 (2020), s. 1681-1693. ISSN 0955-792X. E-ISSN 1465-363X
    Grant CEP: GA ČR(CZ) GA19-05497S
    Institucionální podpora: RVO:67985840
    Klíčová slova: Hausdorff * interpretability * linear orderings * modal logic
    Obor OECD: Pure mathematics
    Impakt faktor: 0.416, rok: 2020
    Způsob publikování: Omezený přístup
    https://doi.org/10.1093/logcom/exaa050
    Trvalý link: http://hdl.handle.net/11104/0314542
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pakhomov.pdf1277.8 KBVydavatelský postprintvyžádat
     
     
  3. 3.
    0402497 - UIVT-O 950089 DE eng C - Konferenční příspěvek (zahraniční konf.)
    Hájek, Petr
    Possibilistic Logic as Interpretability logic.
    Advances in Intelligent Computing - IPMU'94. Berlin: SpringerVerlag, 1995 - (Bouchon-Meunier, B.; Yager, R.; Zadeh, L.), s. 273-280. Lecture Notes in Computer Science, 945. ISBN 3-540-60116-3.
    [IPMU '94 /5./. Paris (FR), 04.07.1994-08.07.1994]
    Grant CEP: GA AV ČR IAA130108
    Grant ostatní: COPERNICUS(XE) MUM-10053
    Klíčová slova: possibility theory * interpretability topic
    Trvalý link: http://hdl.handle.net/11104/0122904
     
     
  4. 4.
    0402291 - UIVT-O 950054 CZ eng V - Výzkumná zpráva
    Hájek, Petr
    Possibilistic Logic as Interpretability Logic.
    Prague: ICS AS CR, 1995. 9 s. Technical Report, V-630.
    Grant ostatní: COPERNICUS(XE) MUM-10053
    Klíčová slova: uncertainty * possibilitic logic * interpretability logic
    Trvalý link: http://hdl.handle.net/11104/0122698
    Název souboruStaženoVelikostKomentářVerzePřístup
    v630-95.pdf12149.8 KBJinápovolen
     
     
  5. 5.
    0402009 - UIVT-O 940016 FR eng C - Konferenční příspěvek (zahraniční konf.)
    Hájek, Petr
    Possibilistic Logic as Interpretability Logic.
    IPMU. Information Processing and Management of Uncertainty in Knowlegde-Based Systems. Vol. 2. Paris: Cité Internationale Universitaire, 1994, s. 815-819. ISBN 2-905433-26-4.
    [IPMU '94 /5./. Paris (FR), 04.07.1994-08.07.1994]
    Grant CEP: GA AV ČR IAA130108
    Grant ostatní: COPERNICUS(XE) MUM-10053
    Klíčová slova: possibility theory * interpretability topic
    Trvalý link: http://hdl.handle.net/11104/0122430
     
     
  6. 6.
    0401859 - UIVT-O 930003 GB eng C - Konferenční příspěvek (zahraniční konf.)
    Hájek, Petr
    Interpretability and Fragments of Arithmetic.
    Arithmetic, Proof Theory and Computational Complexity. Oxford: Clarendon Press, 1993 - (Clote, P.; Krajíček, J.), s. 185-196. Oxford Logic Guides, 23. ISBN 978-0-19-853690-1
    Klíčová slova: interpretability
    Trvalý link: http://hdl.handle.net/11104/0122293
     
     
  7. 7.
    0350424 - ÚI 2012 RIV GB eng J - Článek v odborném periodiku
    Hájek, Petr
    Comments on Interpretability and Decidability in Fuzzy Logic.
    Journal of Logic and Computation. Roč. 21, č. 5 (2011), s. 823-828. ISSN 0955-792X. E-ISSN 1465-363X
    Grant CEP: GA ČR GEICC/08/E018
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: mathematical fuzzy logic * interpretability * decidability
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.611, rok: 2011
    Trvalý link: http://hdl.handle.net/11104/0190437
     
     
  8. 8.
    0332835 - ÚI 2010 RIV NL eng J - Článek v odborném periodiku
    Bílková, Marta - De Jongh, D. - Joosten, J.J.
    Interpretability in PRA.
    [Interpretovatelnost v PRA.]
    Annals of Pure and Applied Logic. Roč. 161, č. 2 (2009), s. 128-138. ISSN 0168-0072. E-ISSN 1873-2461
    Grant CEP: GA AV ČR IAA900090703
    Grant ostatní: GA ČR(CZ) GA401/06/0387
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: interpretability * arithmetic * primitive recursive arithmetic * interpretability logic
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.667, rok: 2009
    Trvalý link: http://hdl.handle.net/11104/0177966
     
     
  9. 9.
    0084549 - ÚI 2008 PL eng A - Abstrakt
    Bílková, Marta - De Jongh, D. - Joosten, J.J.
    Interpretability in PRA.
    Logic Colloquium 2007. Book of Abstracts. Wroclaw: Universitet Wroclawski, 2007. s. 37-37.
    [Logic Colloquium 2007. 14.07.2007-19.07.2007, Wroclaw]
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: arithmetic * primitive recursive arithmetic * interpretability * interpretability logic * modal logic
    Trvalý link: http://hdl.handle.net/11104/0147283
     
     
  10. 10.
    0047821 - ÚI 2008 RIV NL eng M - Část monografie knihy
    Bílková, Marta - Goris, E. - Joosten, J.J.
    Smart Labels.
    [Chytré značkování.]
    Liber Amicorum for Dick de Jongh. Amsterdam: University of Amsterdam, 2004 - (Afanasiev, L.; Marx, M.), s. 1-9. ISBN 90-5776-1289
    Zdroj financování: V - jiné veřejné zdroje
    Klíčová slova: interpretability * interpretability logic * modal logic * completeness
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0138615
     
     


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.