Výsledky vyhledávání
- 1.0579206 - FLÚ 2025 RIV DE eng J - Článek v odborném periodiku
Ferguson, Thomas
Executability and Connexivity in an Interpretation of Griss.
Studia Logica. Roč. 112, 1-2 (2024), s. 459-509. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: connexive logic * constructive logic * G.F.C. Griss * executable logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1007/s11225-023-10055-4
Trvalý link: https://hdl.handle.net/11104/0352893 - 2.0579034 - FLÚ 2024 RIV DE eng J - Článek v odborném periodiku
Ferguson, Thomas
Subject-Matter and Intensional Operators II. Applications to the Theory of Topic-Sensitive Intentional Modals.
Journal of Philosophical Logic. Roč. 52, č. 6 (2023), s. 1673-1701. ISSN 0022-3611
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: subject-matter * topic-sensitive intentional modals * epistemic logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10992-023-09722-7
Trvalý link: https://hdl.handle.net/11104/0348048 - 3.0575751 - FLÚ 2024 RIV PL eng J - Článek v odborném periodiku
Punčochář, Vít
Logical Forms, Substitutions and Information Types.
Logic and Logical Philosophy. Roč. 32, č. 3 (2023), s. 459-473. ISSN 1425-3305
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: logical form * uniform substitution * information types * non-classical logics
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.5, rok: 2022
Způsob publikování: Open access
https://doi.org/10.12775/LLP.2023.017
Trvalý link: https://hdl.handle.net/11104/0345772 - 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.0562184 - FLÚ 2023 RIV NL eng J - Článek v odborném periodiku
Punčochář, Vít
Iterated team semantics for a hierarchy of informational types.
Annals of Pure and Applied Logic. Roč. 173, č. 10 (2022), č. článku 103156. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: dependence logic * team semantics * information * contexts * conditionals * modalities
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.1016/j.apal.2022.103156
Trvalý link: https://hdl.handle.net/11104/0334713 - 6.0561334 - FLÚ 2023 RIV US eng J - Článek v odborném periodiku
Badia, G. - Noguera, Carles
A 0-1 Law in Mathematical Fuzzy Logic.
IEEE Transactions on Fuzzy Systems. Roč. 30, č. 9 (2022), s. 3833-3840. ISSN 1063-6706. E-ISSN 1941-0034
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: finite weighted structures * first-order fuzzy logics * mathematical fuzzy logic * monoidal t-norms
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 11.9, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1109/TFUZZ.2021.3131200
Trvalý link: https://hdl.handle.net/11104/0335510 - 7.0558723 - ÚI 2023 RIV NL eng J - Článek v odborném periodiku
Tedder, Andrew - Bílková, Marta
Relevant Propositional Dynamic Logic.
Synthese. Roč. 200, č. 3 (2022), č. článku 235. ISSN 0039-7857. E-ISSN 1573-0964
Grant CEP: GA ČR(CZ) GJ18-19162Y; GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985807 ; RVO:67985955
Klíčová slova: Relevant logic * Propositional dynamic logic * Non-classical modal logics
Obor OECD: Philosophy, History and Philosophy of science and technology; Philosophy, History and Philosophy of science and technology (FLU-F)
Impakt faktor: 1.5, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s11229-022-03732-9
Trvalý link: http://hdl.handle.net/11104/0332294