Výsledky vyhledávání
- 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.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/0314542Název souboru Staženo Velikost Komentář Verze Přístup Pakhomov.pdf 1 277.8 KB Vydavatelský postprint vyžádat - 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.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/0122698Název souboru Staženo Velikost Komentář Verze Přístup v630-95.pdf 12 149.8 KB Jiná povolen - 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.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.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.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.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.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