Search results
- 1.0579206 - FLÚ 2025 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : connexive logic * constructive logic * G.F.C. Griss * executable logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.7, year: 2022
Method of publishing: Open access
https://doi.org/10.1007/s11225-023-10055-4
Permanent Link: https://hdl.handle.net/11104/0352893 - 2.0579034 - FLÚ 2024 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : subject-matter * topic-sensitive intentional modals * epistemic logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 1.5, year: 2022
Method of publishing: Limited access
https://doi.org/10.1007/s10992-023-09722-7
Permanent Link: https://hdl.handle.net/11104/0348048 - 3.0575751 - FLÚ 2024 RIV PL eng J - Journal Article
Punčochář, Vít
Logical Forms, Substitutions and Information Types.
Logic and Logical Philosophy. Roč. 32, č. 3 (2023), s. 459-473. ISSN 1425-3305
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : logical form * uniform substitution * information types * non-classical logics
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.5, year: 2022
Method of publishing: Open access
https://doi.org/10.12775/LLP.2023.017
Permanent Link: https://hdl.handle.net/11104/0345772 - 4.0572522 - FLÚ 2024 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955 ; RVO:67985807
Keywords : relevant logic * epistemic logic * public announcement * common knowledge * inquisitive logic
OECD category: Philosophy, History and Philosophy of science and technology; Pure mathematics (UIVT-O)
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://doi.org/10.1093/logcom/exac100
Permanent Link: https://hdl.handle.net/11104/0343465 - 5.0562184 - FLÚ 2023 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : dependence logic * team semantics * information * contexts * conditionals * modalities
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2022.103156
Permanent Link: https://hdl.handle.net/11104/0334713 - 6.0561334 - FLÚ 2023 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : finite weighted structures * first-order fuzzy logics * mathematical fuzzy logic * monoidal t-norms
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 11.9, year: 2022
Method of publishing: Limited access
https://doi.org/10.1109/TFUZZ.2021.3131200
Permanent Link: https://hdl.handle.net/11104/0335510 - 7.0558723 - ÚI 2023 RIV NL eng J - Journal Article
Tedder, Andrew - Bílková, Marta
Relevant Propositional Dynamic Logic.
Synthese. Roč. 200, č. 3 (2022), č. článku 235. ISSN 0039-7857. E-ISSN 1573-0964
R&D Projects: GA ČR(CZ) GJ18-19162Y; GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985807 ; RVO:67985955
Keywords : Relevant logic * Propositional dynamic logic * Non-classical modal logics
OECD category: Philosophy, History and Philosophy of science and technology; Philosophy, History and Philosophy of science and technology (FLU-F)
Impact factor: 1.5, year: 2022
Method of publishing: Limited access
http://dx.doi.org/10.1007/s11229-022-03732-9
Permanent Link: http://hdl.handle.net/11104/0332294