Modalities in Substructural Logics: Theory, Methods and Applications

Projektinformationen

MOSAIC

ID Finanzhilfevereinbarung: 101007627

DOI 10.3030/101007627

EK-Unterschriftsdatum 9 November 2020

Startdatum 1 September 2021

Enddatum 30 April 2026

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten € 1 016 600,00

EU-Beitrag € 1 016 600,00

Koordiniert durch

AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS
Spain

Veröffentlichungen

Conference proceedings (6)

An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic. In Proceedings of SUM’22.Lecture Notes in Artificial Intelligence

Autoren: T. Flaminio, L. Godo, S. Ugolini
Veröffentlicht in: In F. Dupin de Saint-Cyr et al. (Eds.), 2022, Seite(n) SUM 2022, LNCS 13562
Herausgeber: ACM digital library
DOI: 10.1007/978-3-031-18843-5_9

Rotations of Gödel Algebras with Modal Operators

Autoren: Tomasso Flaminio, Lluis Godo, Paula Menchón, Ricardo Oscar Rodriguez
Veröffentlicht in: Springer, 2022, ISSN 1865-0937
Herausgeber: Springer Nature
DOI: 10.1007/978-3-031-08971-8_55

Canonical Extensions of Conditional Probabilities and Compound Conditionals

Autoren: Tomasso Flaminio, Lluis Godo, Angelo Gilio, Giuseppe Sanfilippo
Veröffentlicht in: Part of the Communications in Computer and Information Science book series, Ausgabe CCIS,volume 1602, 2022, Seite(n) 584-597
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-031-08974-9_47

Towards a unified view on logics for uncertainty. In Proceedings of SUM’22. Lecture Notes in Artificial Intelligence.

Autoren: Esther Anna Corsi, Tomasso Flaminio, Hykel Hosni
Veröffentlicht in: 2022, Seite(n) 329-337
Herausgeber: ACM digital library
DOI: 10.1007/978-3-031-18843-5_22

Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report.

Autoren: Pilar Dellunde, Lluís Godo, Amanda Vidal.
Veröffentlicht in: dblp computer science bibliography, Ausgabe JELIA 2021: 25-32, 2021, Seite(n) 25-32
Herausgeber: Universitat Trier
DOI: 10.1007/978-3-030-75775-5_3

Paraconsistent Gödel Modal Logic

Autoren: Marta Bílková, Sabine Fritella, Daniil Kozhemiachenko
Veröffentlicht in: Part of the Lecture Notes in Computer Science book series (LNAI), Ausgabe Volume 13385, 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-10769-6_26

Peer reviewed articles (9)

A linear logic framework for multimodal logics

Autoren: Bruno Xavier, Carlos Olarte, Elaine Pimentel
Veröffentlicht in: Mathematical Structures in Computer Science, Ausgabe Bimonthly, 2022, Seite(n) 32, 1176–1204, ISSN 0960-1295
Herausgeber: Cambridge University Press
DOI: 10.1017/s0960129522000366

A 0-1 Law in Mathematical Fuzzy Logic

Autoren: Guillermo Badia, Carles Noguera
Veröffentlicht in: IEEE Transactions on Fuzzy Systems, Ausgabe Volume 30, Ausgabe 9, 2022, Seite(n) pages 3833-3840, ISSN 0163-6804
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tfuzz.2021.3131200

On the expressive power of Łukasiewicz square operator.

Autoren: Marcelo E Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo
Veröffentlicht in: Journal of Logic and Computation, Ausgabe Volume 32, Ausgabe 4, June 2022, 2022, Seite(n) Pages 767-807, ISSN 2398-7316
Herausgeber: Oxford Academic
DOI: 10.1093/logcom/exab064

Connexive Negation

Autoren: Estrada-González, Luis & Nicolás-Francisco, Ricardo Arturo.
Veröffentlicht in: Studia Logica, Ausgabe November 2023, 2023, ISSN 1572-8730
Herausgeber: 0039-3215
DOI: 10.1007/s11225-023-10078-x

From Contact Relations to Modal Operators, and Back

Autoren: Rafal Gruszcynski & Paula Menchón
Veröffentlicht in: Studia Logica, 2023, ISSN 1988-348X
Herausgeber: Springer
DOI: 10.1007/s11225-022-10022-5

Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions

Autoren: Ricardo Oscar Rodriguez, Olim Frits Tuyt, Francesc Esteva, Lluís Godo
Veröffentlicht in: Studia Logica, Ausgabe 110, 2022, Seite(n) 1081–1114, ISSN 1572-8730
Herausgeber: Studia Logica
DOI: 10.1007/s11225-022-09987-0

Qualitative reasoning in a two-layered framework

Autoren: Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
Veröffentlicht in: Submitted to the International Journal of Approximate Reasoning, Ausgabe Vol 154, 2023, Seite(n) 84-108, ISSN 0020-0255
Herausgeber: Elsevier BV
DOI: 10.1016/j.ijar.2022.12.011

MAXIMALITY OF LOGIC WITHOUT IDENTITY

Autoren: Guillermo BADIA, Xavier CAICEDO, & Carles NOGUERA
Veröffentlicht in: The Journal of Symbolic Logic, 2023, Seite(n) 1-16, ISSN 1943-5886
Herausgeber: Cambridge Univeresity Press
DOI: 10.1017/jsl.2023.2

Lindström theorems in graded model theory

Autoren: Guillermo Badia & Carles Noguera
Veröffentlicht in: Elsevier, Ausgabe Annals of Pure and Applied Logic, 2021, Seite(n) Volume 172, Ausgabe 3, ISSN 0168-0072
Herausgeber: Elsevier BV
DOI: 10.1016/j.apal.2020.102916

Thesis and dissertations (1)

Compound conditionals as random quantities and Boolean algebras. Principles of Knowledge Representation and Reasoning

Autoren: Tomasso Flaminio, Lluis Godo, Angelo Gilio, Giuseppe Sanfilippo
Veröffentlicht in: 19th International Conference, KR 2022, Haifa, Israel, Ausgabe 17th Intl. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022)  , 2022, Seite(n) 141-151 
Herausgeber: Springer International Publishing
DOI: 10.24963/kr.2022/15