Výsledky vyhledávání
- 1.0586115 - ÚI 2025 GB eng J - Článek v odborném periodiku
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Fuzzy bi-Godel modal logic and its paraconsistent relatives.
Journal of Logic and Computation. Online 31 March 2024 (2024), č. článku exae011. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1093/logcom/exae011
Trvalý link: https://hdl.handle.net/11104/0353684 - 2.0583415 - ÚI 2025 GB eng J - Článek v odborném periodiku
Van Der Giessen, I. - Jalali, Raheleh - Kuznets, R.
Uniform interpolation via nested sequents and hypersequents (ACCEPTED Dec 2023).
Journal of Logic and Computation. ISSN 0955-792X. E-ISSN 1465-363X
Trvalý link: https://hdl.handle.net/11104/0351384 - 3.0576870 - ÚI 2024 GB eng J - Článek v odborném periodiku
Martins, M. A. - Sedlár, Igor
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020).
Journal of Logic and Computation. Roč. 33, č. 6 (2023), s. 1119-1121. ISSN 0955-792X. E-ISSN 1465-363X
Institucionální podpora: RVO:67985807
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1093/logcom/exad054
Trvalý link: https://hdl.handle.net/11104/0346272 - 4.0572522 - FLÚ 2024 RIV GB eng J - Článek v odborném periodiku
Punčochář, Vít - Sedlár, Igor - Tedder, A.
Relevant epistemic logic with public announcements and common knowledge.
Journal of Logic and Computation. Roč. 33, č. 2 (2023), s. 436-461. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955 ; RVO:67985807
Klíčová slova: relevant logic * epistemic logic * public announcement * common knowledge * inquisitive logic
Obor OECD: Philosophy, History and Philosophy of science and technology; Pure mathematics (UIVT-O)
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1093/logcom/exac100
Trvalý link: https://hdl.handle.net/11104/0343465 - 5.0568283 - ÚI 2023 RIV GB eng J - Článek v odborném periodiku
Aguilera, J. P. - Bydžovský, J. - Fernández-Duque, David
Noetherian Godel logics.
Journal of Logic and Computation. Roč. 32, č. 8 (2022), s. 1487-1503. ISSN 0955-792X. E-ISSN 1465-363X
Institucionální podpora: RVO:67985807
Klíčová slova: Godel logic * fuzzy logic * hyperarithmetical set
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1093/logcom/exac064
Trvalý link: https://hdl.handle.net/11104/0339615 - 6.0565843 - ÚI 2023 RIV GB eng J - Článek v odborném periodiku
Fernández-Duque, David - Joosten, J.J. - Pakhomov, F. - Papafilippou, K. - Weierman, A.
Arithmetical and Hyperarithmetical Worm Battles.
Journal of Logic and Computation. Roč. 32, č. 8 (2022), s. 1558-1584. ISSN 0955-792X. E-ISSN 1465-363X
Institucionální podpora: RVO:67985807
Klíčová slova: provability logics * independence results * ordinal analysis
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1093/logcom/exac067
Trvalý link: https://hdl.handle.net/11104/0337335 - 7.0557952 - ÚI 2024 RIV GB eng J - Článek v odborném periodiku
van Ditmarsch, H. - Liu, M. - Kuijer, L. B. - Sedlár, Igor
Almost APAL.
Journal of Logic and Computation. Roč. 33, č. 6 (2023), s. 1350-1378. ISSN 0955-792X. E-ISSN 1465-363X
Institucionální podpora: RVO:67985807
Klíčová slova: APAL * quantification over announcements * substructural logic * expressivity
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Open access
http://dx.doi.org/10.1093/logcom/exac012
Trvalý link: http://hdl.handle.net/11104/0331834Název souboru Staženo Velikost Komentář Verze Přístup 0557952-aoafin.pdf 1 1.6 MB OA CC BY 4.0 Vydavatelský postprint povolen - 8.0546447 - ÚI 2022 GB eng J - Článek v odborném periodiku
Aguilera, J.P. - Fernández-Duque, David
Verification logic.
Journal of Logic and Computation. Roč. 27, č. 8 (2017), s. 2451-2469. ISSN 0955-792X. E-ISSN 1465-363X
Klíčová slova: realization * explicit * proofs * Verification logic * justification logic * arithmetical interpretation * negative introspection
Impakt faktor: 0.740, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0322951 - 9.0545969 - ÚI 2022 GB eng J - Článek v odborném periodiku
Yamamoto, Kentarô
Results in modal correspondence theory for possibility semantics.
Journal of Logic and Computation. Roč. 27, č. 8 (2017), s. 2411-2430. ISSN 0955-792X. E-ISSN 1465-363X
Klíčová slova: Modal logic * possibility semantics * correspondence theory * Sahlqvist correspondence theorem
Impakt faktor: 0.740, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0322574 - 10.0542814 - ÚI 2022 RIV GB eng J - Článek v odborném periodiku
Punčochář, Vít - Sedlár, Igor
Epistemic Extensions of Substructural Inquisitive Logics.
Journal of Logic and Computation. Roč. 31, č. 7 (2021), s. 1820-1844. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: epistemic logic * modal logic * substructural logic * inquisitive logic * logic of questions
Obor OECD: Pure mathematics
Impakt faktor: 0.509, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1093/logcom/exab008
Trvalý link: http://hdl.handle.net/11104/0320152