Výsledky vyhledávání
- 1.0585222 - ÚI 2025 GB eng J - Článek v odborném periodiku
Cintula, Petr - Metcalfe, G. - Tokuda, N.
One-variable fragments of first-order logics.
Bulletin of Symbolic Logic. Online 01 April 2024 (2024). ISSN 1079-8986. E-ISSN 1943-5894
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807
Klíčová slova: First-Order Logic * One-Variable Fragment * Modal Logic * Substructural Logic * Superamalgamation * Sequent Calculus
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1017/bsl.2024.22
Trvalý link: https://hdl.handle.net/11104/0352990 - 2.0577158 - ÚI 2025 US eng J - Článek v odborném periodiku
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Crisp Bi-Gödel modal logic and its paraconsistent expansion.
Logic Journal of the IGPL. Online First 28 September 2023 (2024), č. článku jzad017. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Paraconsistent logics * Gödel modal logic * correspondence theory * axiomatic systems * complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 1, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1093/jigpal/jzad017
Trvalý link: https://hdl.handle.net/11104/0346391 - 3.0573722 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor - Vigiani, P.
Relevant Reasoning and Implicit Beliefs.
Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 336-350. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
[WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Epistemic logic * explicit belief * implicit belief * knowledge representation * modal logic * relevant logic
Obor OECD: Pure mathematics
Trvalý link: https://hdl.handle.net/11104/0344103Název souboru Staženo Velikost Komentář Verze Přístup 0573722-acc.pdf 3 365.9 KB volně online Autorský postprint povolen
Vědecká data: Preprint at MathStat.dal.ca - 4.0573634 - FLÚ 2024 RIV GB eng R - Recenze
Klev, Ansten - Zwanziger, Colin
Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy, by D. Corfield [Review].
[CORFIELD, D.: Modal homotopy type theory: the prospect of a new logic for philosophy. First edition. Oxford: Oxford University Press, 2020. x, 180 stran. ISBN 978-0-19-885340-4.]. History and Philosophy of Logic. Taylor & Francis. Roč. 44, č. 3 (2023), s. 337-342. ISSN 0144-5340. E-ISSN 1464-5149
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: homotopy type theory * modal logic * philosophy of mathematics
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://doi.org/10.1080/01445340.2022.2107383
Trvalý link: https://hdl.handle.net/11104/0344176 - 5.0563809 - ÚI 2024 RIV CH eng M - Část monografie knihy
Diéguez, M. - Fernández-Duque, David
Decidability for S4 Gödel Modal Logics.
Computational Intelligence and Mathematics for Tackling Complex Problems 4. Cham: Springer, 2023 - (Cornejo, M.; Harmati, I.; Koczy, L.; Medina-Moreno, J.), s. 1-7. Studies in Computational Intelligence, 1040. ISBN 978-3-031-07706-7
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Completeness * Fuzzy logic * Gödel logic * Modal logic
Obor OECD: Pure mathematics
https://dx.doi.org/10.1007/978-3-031-07707-4_1
Trvalý link: https://hdl.handle.net/11104/0335600Název souboru Staženo Velikost Komentář Verze Přístup 0563809-pre.pdf 1 346.3 KB z Researchgate https://www.researchgate.net/publication/363719810_Decidability_for_mathsf_S4_Godel_Modal_Logics Autorský preprint povolen - 6.0560680 - ÚI 2024 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Metcalfe, G. - Tokuda, N.
Algebraic Semantics for One-Variable Lattice-Valued Logics.
Advances in Modal Logic. Volume 14. London: College Publications, 2022 - (Fernández-Duque, D.; Palmigiano, A.; Pinchinat, S.), s. 237-257. ISBN 978-1-84890-413-2.
[AIML 2022: Advances in Modal Logic. Rennes (FR), 22.08.2022-25.08.2022]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Modal Logic * Substructural Logics * Lattice-Valued Logics * One-Variable Fragment * Superamalgamation * Sequent Calculus * Interpolation
Obor OECD: Pure mathematics
http://www.collegepublications.co.uk/aiml/?00011
Trvalý link: https://hdl.handle.net/11104/0333542 - 7.0560276 - MÚ 2024 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
On the proof complexity of logics of bounded branching.
Annals of Pure and Applied Logic. Roč. 174, č. 1 (2023), č. článku 103181. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * modal logic * intermediate logic * extended Frege system
Obor OECD: Pure mathematics
Impakt faktor: 0.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2022.103181
Trvalý link: https://hdl.handle.net/11104/0333265Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 0 789.5 KB Vydavatelský postprint vyžádat - 8.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 - 9.0559074 - ÚI 2024 RIV NL eng J - Článek v odborném periodiku
Ferenz, Nicholas - Tedder, A.
Neighbourhood Semantics for Modal Relevant Logics.
Journal of Philosophical Logic. Roč. 52, č. 1 (2023), s. 145-181. ISSN 0022-3611
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Relevant modal logic * Relevant logic * Nonclassical modal logic * Neighbourhood semantics
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.5, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1007/s10992-022-09668-2
Trvalý link: https://hdl.handle.net/11104/0332494 - 10.0558050 - ÚI 2025 GB eng J - Článek v odborném periodiku
Fernández-Duque, David
Taming the 'Elsewhere': On Expressivity of Topological Languages.
Review of Symbolic Logic. Online 28 March 2022 (2024). ISSN 1755-0203. E-ISSN 1755-0211
Institucionální podpora: RVO:67985807
Klíčová slova: modal logic * topological semantics * expressivity
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S1755020322000120
Trvalý link: http://hdl.handle.net/11104/0331859Název souboru Staženo Velikost Komentář Verze Přístup 0558050-aonl.pdf 0 304.2 KB Vydavatelský postprint povolen