Modalities in Substructural Logics: Theory, Methods and Applications

INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS

Autores: Fornasiere, Damiano; Moraschini, Tommaso
Publicado en: The Journal of Symbolic Logic, Edición 8, 2023, ISSN 0022-4812
Editor: Association for Symbolic Logic
DOI: 10.1017/jsl.2023.7

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

Autores: Carlos Olarte; Elaine Pimentel; Camilo Rocha
Publicado en: Journal of Logical and Algebraic Methods in Programming, Edición 17, 2023, ISSN 2352-2208
Editor: Elsevier
DOI: 10.1016/j.jlamp.2022.100827

A linear logic framework for multimodal logics

Autores: Bruno Xavier, Carlos Olarte, Elaine Pimentel
Publicado en: Mathematical Structures in Computer Science, Edición Bimonthly, 2022, Página(s) 32, 1176–1204, ISSN 0960-1295
Editor: Cambridge University Press
DOI: 10.1017/s0960129522000366

A 0-1 Law in Mathematical Fuzzy Logic

Autores: Guillermo Badia, Carles Noguera
Publicado en: IEEE Transactions on Fuzzy Systems, Edición Volume 30, Edición 9, 2022, Página(s) pages 3833-3840, ISSN 0163-6804
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tfuzz.2021.3131200

An elementary belief function logic

Autores: Didier Dubois; Lluis Godo; Henri Prade
Publicado en: Journal of Applied Non-Classical Logics, Edición 5, 2023, ISSN 1166-3081
Editor: Taylor and Francis
DOI: 10.1080/11663081.2023.2244366

On the expressive power of Łukasiewicz square operator.

Autores: Marcelo E Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo
Publicado en: Journal of Logic and Computation, Edición Volume 32, Edición 4, June 2022, 2022, Página(s) Pages 767-807, ISSN 2398-7316
Editor: Oxford Academic
DOI: 10.1093/logcom/exab064

Fuzzy bi-Gödel modal logic and its paraconsistent relatives

Autores: Bilkova, Marta; Frittella, Sabine; Kozhemiachenko, Daniil
Publicado en: Journal of Logic and Computation, Edición 23, 2024, ISSN 0955-792X
Editor: Oxford University Press
DOI: 10.1093/logcom/exae011

Connexive Negation

Autores: Estrada-González, Luis & Nicolás-Francisco, Ricardo Arturo.
Publicado en: Studia Logica, Edición November 2023, 2023, ISSN 1572-8730
Editor: 0039-3215
DOI: 10.1007/s11225-023-10078-x

Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity

Autores: Dalmonte, Tiziano; Lellmann, Björn; Olivetti, Nicola; Pimentel, Elaine
Publicado en: Journal of Logic and Computation, Edición 39, 2021, ISSN 0955-792X
Editor: Oxford University Press
DOI: 10.1093/logcom/exaa072

From Contact Relations to Modal Operators, and Back

Autores: Rafal Gruszcynski & Paula Menchón
Publicado en: Studia Logica, 2023, ISSN 1988-348X
Editor: Springer
DOI: 10.1007/s11225-022-10022-5

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

Autores: Ricardo Oscar Rodriguez, Olim Frits Tuyt, Francesc Esteva, Lluís Godo
Publicado en: Studia Logica, Edición 110, 2022, Página(s) 1081–1114, ISSN 1572-8730
Editor: Studia Logica
DOI: 10.1007/s11225-022-09987-0

Outlier detection using flexible categorization and interrogative agendas

Autores: Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg
Publicado en: Decision Support Systems, Edición 31, 2024, ISSN 0167-9236
Editor: Elsevier BV
DOI: 10.1016/j.dss.2024.114196

An alternative definition of tense operators on residuated lattices

Autores: Calomino, Ismael; Pelaitay, Gustavo; Botero, William Zuluaga
Publicado en: Journal of Logic and Computation, Edición 13, 2024, ISSN 0955-792X
Editor: Oxford University Press
DOI: 10.1093/logcom/exae009

Qualitative reasoning in a two-layered framework

Autores: Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
Publicado en: International Journal of Approximate Reasoning, Edición Vol 154, 2023, Página(s) 84-108, ISSN 0020-0255
Editor: Elsevier BV
DOI: 10.1016/j.ijar.2022.12.011

MAXIMALITY OF LOGIC WITHOUT IDENTITY

Autores: Guillermo BADIA, Xavier CAICEDO, & Carles NOGUERA
Publicado en: The Journal of Symbolic Logic, 2023, Página(s) 1-16, ISSN 1943-5886
Editor: Cambridge Univeresity Press
DOI: 10.1017/jsl.2023.2

Lindström theorems in graded model theory

Autores: Guillermo Badia & Carles Noguera
Publicado en: Elsevier, Edición Annals of Pure and Applied Logic, 2021, Página(s) Volume 172, Edición 3, ISSN 0168-0072
Editor: Elsevier BV
DOI: 10.1016/j.apal.2020.102916

An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic.

Autores: Tommaso Flaminio, Lluis Godo, Sara Ugolini
Publicado en: Proceedings of SUM’22. Lecture Notes in Artificial Intelligence, 2022
Editor: Springer Nature
DOI: 10.1007/978-3-031-18843-5_9

Rotations of Gödel Algebras with Modal Operators

Autores: Tomasso Flaminio, Lluis Godo, Paula Menchón, Ricardo Oscar Rodriguez
Publicado en: Springer, 2022, ISSN 1865-0937
Editor: Springer Nature
DOI: 10.1007/978-3-031-08971-8_55

Canonical Extensions of Conditional Probabilities and Compound Conditionals

Autores: Tomasso Flaminio, Lluis Godo, Angelo Gilio, Giuseppe Sanfilippo
Publicado en: Part of the Communications in Computer and Information Science book series, Edición CCIS,volume 1602, 2022, Página(s) 584-597
Editor: 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.

Autores: Esther Anna Corsi, Tomasso Flaminio, Hykel Hosni
Publicado en: 2022, Página(s) 329-337
Editor: ACM digital library
DOI: 10.1007/978-3-031-18843-5_22

Two-Layered Logics for Paraconsistent Probabilities

Autores: Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer
Publicado en: Proceedings of WoLLIC 2023. Lecture Notes in Computer Science, Edición 25, 2023, ISSN 1611-3349
Editor: Springer Nature
DOI: 10.1007/978-3-031-39784-4_7

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

Autores: Pilar Dellunde, Lluís Godo, Amanda Vidal.
Publicado en: Proceedings of Logics in Artificial Intelligence. JELIA 2021. Lecture Notes in Computer Science, Edición JELIA 2021: 25-32, 2021, Página(s) 25-32
Editor: Universitat Trier
DOI: 10.1007/978-3-030-75775-5_3

Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory

Autores: Bílková, Marta; Frittella, Sabine; Kozhemiachenko, Daniil; Majer, Ondrej; Manoorkar, Krishna
Publicado en: Proceedings of Machine Learning Research, Edición 2, 2023, ISSN 2640-3498
Editor: Cambridge MA

Paraconsistent Gödel Modal Logic

Autores: Marta Bílková, Sabine Fritella, Daniil Kozhemiachenko
Publicado en: Proceedings of IJCAR 2022. Lecture Notes in Computer Science book series (LNAI), Edición Volume 13385, 2022
Editor: Springer
DOI: 10.1007/978-3-031-10769-6_26

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

Autores: Tomasso Flaminio, Lluis Godo, Angelo Gilio, Giuseppe Sanfilippo
Publicado en: 19th International Conference, KR 2022, Haifa, Israel, Edición 17th Intl. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022) , 2022, Página(s) 141-151
Editor: Springer International Publishing
DOI: 10.24963/kr.2022/15

Publicaciones

Compartir esta página

Descargar