Search results
- 1.0585222 - ÚI 2025 GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA22-01137S
EU Projects: European Commission(XE) 101007627 - MOSAIC
Institutional support: RVO:67985807
Keywords : First-Order Logic * One-Variable Fragment * Modal Logic * Substructural Logic * Superamalgamation * Sequent Calculus
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Open access
https://doi.org/10.1017/bsl.2024.22
Permanent Link: https://hdl.handle.net/11104/0352990 - 2.0577158 - ÚI 2025 US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : Paraconsistent logics * Gödel modal logic * correspondence theory * axiomatic systems * complexity
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 1, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1093/jigpal/jzad017
Permanent Link: https://hdl.handle.net/11104/0346391 - 3.0573722 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : Epistemic logic * explicit belief * implicit belief * knowledge representation * modal logic * relevant logic
OECD category: Pure mathematics
Permanent Link: https://hdl.handle.net/11104/0344103File Download Size Commentary Version Access 0573722-acc.pdf 3 365.9 KB volně online Author’s postprint open-access
Research data: Preprint at MathStat.dal.ca - 4.0573634 - FLÚ 2024 RIV GB eng R - Book Review
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 - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : homotopy type theory * modal logic * philosophy of mathematics
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://doi.org/10.1080/01445340.2022.2107383
Permanent Link: https://hdl.handle.net/11104/0344176 - 5.0563809 - ÚI 2024 RIV CH eng M - Monography Chapter
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
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : Completeness * Fuzzy logic * Gödel logic * Modal logic
OECD category: Pure mathematics
https://dx.doi.org/10.1007/978-3-031-07707-4_1
Permanent Link: https://hdl.handle.net/11104/0335600File Download Size Commentary Version Access 0563809-pre.pdf 1 346.3 KB z Researchgate https://www.researchgate.net/publication/363719810_Decidability_for_mathsf_S4_Godel_Modal_Logics Author´s preprint open-access - 6.0560680 - ÚI 2024 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : Modal Logic * Substructural Logics * Lattice-Valued Logics * One-Variable Fragment * Superamalgamation * Sequent Calculus * Interpolation
OECD category: Pure mathematics
http://www.collegepublications.co.uk/aiml/?00011
Permanent Link: https://hdl.handle.net/11104/0333542 - 7.0560276 - MÚ 2024 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA19-05497S
Institutional support: RVO:67985840
Keywords : proof complexity * modal logic * intermediate logic * extended Frege system
OECD category: Pure mathematics
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2022.103181
Permanent Link: https://hdl.handle.net/11104/0333265File Download Size Commentary Version Access Jerabek.pdf 0 789.5 KB Publisher’s postprint require - 8.0559445 - ÚI 2023 RIV DE eng J - Journal Article
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
Institutional support: RVO:67985807
Keywords : modal logic * interpretability logic * Veltman semantics * completeness
OECD category: Pure mathematics
Impact factor: 0.3, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1002/malq.202200015
Permanent Link: https://hdl.handle.net/11104/0332745 - 9.0559074 - ÚI 2024 RIV NL eng J - Journal Article
Ferenz, Nicholas - Tedder, A.
Neighbourhood Semantics for Modal Relevant Logics.
Journal of Philosophical Logic. Roč. 52, č. 1 (2023), s. 145-181. ISSN 0022-3611
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : Relevant modal logic * Relevant logic * Nonclassical modal logic * Neighbourhood semantics
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 1.5, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1007/s10992-022-09668-2
Permanent Link: https://hdl.handle.net/11104/0332494 - 10.0558050 - ÚI 2025 GB eng J - Journal Article
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
Institutional support: RVO:67985807
Keywords : modal logic * topological semantics * expressivity
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
http://dx.doi.org/10.1017/S1755020322000120
Permanent Link: http://hdl.handle.net/11104/0331859File Download Size Commentary Version Access 0558050-aonl.pdf 0 304.2 KB Publisher’s postprint open-access