Modalities in Substructural Logics: Theory, Methods and Applications

Informazioni relative al progetto

MOSAIC

ID dell’accordo di sovvenzione: 101007627

DOI 10.3030/101007627

Data della firma CE 9 Novembre 2020

Data di avvio 1 Settembre 2021

Data di completamento 30 Aprile 2026

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale € 1 016 600,00

Contributo UE € 1 016 600,00

Coordinato da

AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS
Spain

Pubblicazioni

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

Autori: T. Flaminio, L. Godo, S. Ugolini
Pubblicato in: In F. Dupin de Saint-Cyr et al. (Eds.), 2022, Pagina/e SUM 2022, LNCS 13562
Editore: ACM digital library
DOI: 10.1007/978-3-031-18843-5_9

Rotations of Gödel Algebras with Modal Operators

Autori: Tomasso Flaminio, Lluis Godo, Paula Menchón, Ricardo Oscar Rodriguez
Pubblicato in: Springer, 2022, ISSN 1865-0937
Editore: Springer Nature
DOI: 10.1007/978-3-031-08971-8_55

Canonical Extensions of Conditional Probabilities and Compound Conditionals

Autori: Tomasso Flaminio, Lluis Godo, Angelo Gilio, Giuseppe Sanfilippo
Pubblicato in: Part of the Communications in Computer and Information Science book series, Numero CCIS,volume 1602, 2022, Pagina/e 584-597
Editore: 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.

Autori: Esther Anna Corsi, Tomasso Flaminio, Hykel Hosni
Pubblicato in: 2022, Pagina/e 329-337
Editore: ACM digital library
DOI: 10.1007/978-3-031-18843-5_22

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

Autori: Pilar Dellunde, Lluís Godo, Amanda Vidal.
Pubblicato in: dblp computer science bibliography, Numero JELIA 2021: 25-32, 2021, Pagina/e 25-32
Editore: Universitat Trier
DOI: 10.1007/978-3-030-75775-5_3

Paraconsistent Gödel Modal Logic

Autori: Marta Bílková, Sabine Fritella, Daniil Kozhemiachenko
Pubblicato in: Part of the Lecture Notes in Computer Science book series (LNAI), Numero Volume 13385, 2022
Editore: Springer
DOI: 10.1007/978-3-031-10769-6_26

Peer reviewed articles (9)

A linear logic framework for multimodal logics

Autori: Bruno Xavier, Carlos Olarte, Elaine Pimentel
Pubblicato in: Mathematical Structures in Computer Science, Numero Bimonthly, 2022, Pagina/e 32, 1176–1204, ISSN 0960-1295
Editore: Cambridge University Press
DOI: 10.1017/s0960129522000366

A 0-1 Law in Mathematical Fuzzy Logic

Autori: Guillermo Badia, Carles Noguera
Pubblicato in: IEEE Transactions on Fuzzy Systems, Numero Volume 30, Numero 9, 2022, Pagina/e pages 3833-3840, ISSN 0163-6804
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tfuzz.2021.3131200

On the expressive power of Łukasiewicz square operator.

Autori: Marcelo E Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo
Pubblicato in: Journal of Logic and Computation, Numero Volume 32, Numero 4, June 2022, 2022, Pagina/e Pages 767-807, ISSN 2398-7316
Editore: Oxford Academic
DOI: 10.1093/logcom/exab064

Connexive Negation

Autori: Estrada-González, Luis & Nicolás-Francisco, Ricardo Arturo.
Pubblicato in: Studia Logica, Numero November 2023, 2023, ISSN 1572-8730
Editore: 0039-3215
DOI: 10.1007/s11225-023-10078-x

From Contact Relations to Modal Operators, and Back

Autori: Rafal Gruszcynski & Paula Menchón
Pubblicato in: Studia Logica, 2023, ISSN 1988-348X
Editore: Springer
DOI: 10.1007/s11225-022-10022-5

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

Autori: Ricardo Oscar Rodriguez, Olim Frits Tuyt, Francesc Esteva, Lluís Godo
Pubblicato in: Studia Logica, Numero 110, 2022, Pagina/e 1081–1114, ISSN 1572-8730
Editore: Studia Logica
DOI: 10.1007/s11225-022-09987-0

Qualitative reasoning in a two-layered framework

Autori: Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
Pubblicato in: Submitted to the International Journal of Approximate Reasoning, Numero Vol 154, 2023, Pagina/e 84-108, ISSN 0020-0255
Editore: Elsevier BV
DOI: 10.1016/j.ijar.2022.12.011

MAXIMALITY OF LOGIC WITHOUT IDENTITY

Autori: Guillermo BADIA, Xavier CAICEDO, & Carles NOGUERA
Pubblicato in: The Journal of Symbolic Logic, 2023, Pagina/e 1-16, ISSN 1943-5886
Editore: Cambridge Univeresity Press
DOI: 10.1017/jsl.2023.2

Lindström theorems in graded model theory

Autori: Guillermo Badia & Carles Noguera
Pubblicato in: Elsevier, Numero Annals of Pure and Applied Logic, 2021, Pagina/e Volume 172, Numero 3, ISSN 0168-0072
Editore: 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

Autori: Tomasso Flaminio, Lluis Godo, Angelo Gilio, Giuseppe Sanfilippo
Pubblicato in: 19th International Conference, KR 2022, Haifa, Israel, Numero 17th Intl. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022)  , 2022, Pagina/e 141-151 
Editore: Springer International Publishing
DOI: 10.24963/kr.2022/15