Modalities in Substructural Logics: Theory, Methods and Applications

INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS

Autorzy: Fornasiere, Damiano; Moraschini, Tommaso
Opublikowane w: The Journal of Symbolic Logic, Numer 8, 2023, ISSN 0022-4812
Wydawca: Association for Symbolic Logic
DOI: 10.1017/jsl.2023.7

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

Autorzy: Carlos Olarte; Elaine Pimentel; Camilo Rocha
Opublikowane w: Journal of Logical and Algebraic Methods in Programming, Numer 17, 2023, ISSN 2352-2208
Wydawca: Elsevier
DOI: 10.1016/j.jlamp.2022.100827

A linear logic framework for multimodal logics

Autorzy: Bruno Xavier, Carlos Olarte, Elaine Pimentel
Opublikowane w: Mathematical Structures in Computer Science, Numer Bimonthly, 2022, Strona(/y) 32, 1176–1204, ISSN 0960-1295
Wydawca: Cambridge University Press
DOI: 10.1017/s0960129522000366

A 0-1 Law in Mathematical Fuzzy Logic

Autorzy: Guillermo Badia, Carles Noguera
Opublikowane w: IEEE Transactions on Fuzzy Systems, Numer Volume 30, Numer 9, 2022, Strona(/y) pages 3833-3840, ISSN 0163-6804
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tfuzz.2021.3131200

An elementary belief function logic

Autorzy: Didier Dubois; Lluis Godo; Henri Prade
Opublikowane w: Journal of Applied Non-Classical Logics, Numer 5, 2023, ISSN 1166-3081
Wydawca: Taylor and Francis
DOI: 10.1080/11663081.2023.2244366

On the expressive power of Łukasiewicz square operator.

Autorzy: Marcelo E Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo
Opublikowane w: Journal of Logic and Computation, Numer Volume 32, Numer 4, June 2022, 2022, Strona(/y) Pages 767-807, ISSN 2398-7316
Wydawca: Oxford Academic
DOI: 10.1093/logcom/exab064

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

Autorzy: Bilkova, Marta; Frittella, Sabine; Kozhemiachenko, Daniil
Opublikowane w: Journal of Logic and Computation, Numer 23, 2024, ISSN 0955-792X
Wydawca: Oxford University Press
DOI: 10.1093/logcom/exae011

Connexive Negation

Autorzy: Estrada-González, Luis & Nicolás-Francisco, Ricardo Arturo.
Opublikowane w: Studia Logica, Numer November 2023, 2023, ISSN 1572-8730
Wydawca: 0039-3215
DOI: 10.1007/s11225-023-10078-x

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

Autorzy: Dalmonte, Tiziano; Lellmann, Björn; Olivetti, Nicola; Pimentel, Elaine
Opublikowane w: Journal of Logic and Computation, Numer 39, 2021, ISSN 0955-792X
Wydawca: Oxford University Press
DOI: 10.1093/logcom/exaa072

From Contact Relations to Modal Operators, and Back

Autorzy: Rafal Gruszcynski & Paula Menchón
Opublikowane w: Studia Logica, 2023, ISSN 1988-348X
Wydawca: Springer
DOI: 10.1007/s11225-022-10022-5

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

Autorzy: Ricardo Oscar Rodriguez, Olim Frits Tuyt, Francesc Esteva, Lluís Godo
Opublikowane w: Studia Logica, Numer 110, 2022, Strona(/y) 1081–1114, ISSN 1572-8730
Wydawca: Studia Logica
DOI: 10.1007/s11225-022-09987-0

Outlier detection using flexible categorization and interrogative agendas

Autorzy: Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg
Opublikowane w: Decision Support Systems, Numer 31, 2024, ISSN 0167-9236
Wydawca: Elsevier BV
DOI: 10.1016/j.dss.2024.114196

An alternative definition of tense operators on residuated lattices

Autorzy: Calomino, Ismael; Pelaitay, Gustavo; Botero, William Zuluaga
Opublikowane w: Journal of Logic and Computation, Numer 13, 2024, ISSN 0955-792X
Wydawca: Oxford University Press
DOI: 10.1093/logcom/exae009

Qualitative reasoning in a two-layered framework

Autorzy: Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
Opublikowane w: International Journal of Approximate Reasoning, Numer Vol 154, 2023, Strona(/y) 84-108, ISSN 0020-0255
Wydawca: Elsevier BV
DOI: 10.1016/j.ijar.2022.12.011

MAXIMALITY OF LOGIC WITHOUT IDENTITY

Autorzy: Guillermo BADIA, Xavier CAICEDO, & Carles NOGUERA
Opublikowane w: The Journal of Symbolic Logic, 2023, Strona(/y) 1-16, ISSN 1943-5886
Wydawca: Cambridge Univeresity Press
DOI: 10.1017/jsl.2023.2

Lindström theorems in graded model theory

Autorzy: Guillermo Badia & Carles Noguera
Opublikowane w: Elsevier, Numer Annals of Pure and Applied Logic, 2021, Strona(/y) Volume 172, Numer 3, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2020.102916

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

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

Rotations of Gödel Algebras with Modal Operators

Autorzy: Tomasso Flaminio, Lluis Godo, Paula Menchón, Ricardo Oscar Rodriguez
Opublikowane w: Springer, 2022, ISSN 1865-0937
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-08971-8_55

Canonical Extensions of Conditional Probabilities and Compound Conditionals

Autorzy: Tomasso Flaminio, Lluis Godo, Angelo Gilio, Giuseppe Sanfilippo
Opublikowane w: Part of the Communications in Computer and Information Science book series, Numer CCIS,volume 1602, 2022, Strona(/y) 584-597
Wydawca: 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.

Autorzy: Esther Anna Corsi, Tomasso Flaminio, Hykel Hosni
Opublikowane w: 2022, Strona(/y) 329-337
Wydawca: ACM digital library
DOI: 10.1007/978-3-031-18843-5_22

Two-Layered Logics for Paraconsistent Probabilities

Autorzy: Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer
Opublikowane w: Proceedings of WoLLIC 2023. Lecture Notes in Computer Science, Numer 25, 2023, ISSN 1611-3349
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-39784-4_7

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

Autorzy: Pilar Dellunde, Lluís Godo, Amanda Vidal.
Opublikowane w: Proceedings of Logics in Artificial Intelligence. JELIA 2021. Lecture Notes in Computer Science, Numer JELIA 2021: 25-32, 2021, Strona(/y) 25-32
Wydawca: 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

Autorzy: Bílková, Marta; Frittella, Sabine; Kozhemiachenko, Daniil; Majer, Ondrej; Manoorkar, Krishna
Opublikowane w: Proceedings of Machine Learning Research, Numer 2, 2023, ISSN 2640-3498
Wydawca: Cambridge MA

Paraconsistent Gödel Modal Logic

Autorzy: Marta Bílková, Sabine Fritella, Daniil Kozhemiachenko
Opublikowane w: Proceedings of IJCAR 2022. Lecture Notes in Computer Science book series (LNAI), Numer Volume 13385, 2022
Wydawca: Springer
DOI: 10.1007/978-3-031-10769-6_26

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

Autorzy: Tomasso Flaminio, Lluis Godo, Angelo Gilio, Giuseppe Sanfilippo
Opublikowane w: 19th International Conference, KR 2022, Haifa, Israel, Numer 17th Intl. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022) , 2022, Strona(/y) 141-151
Wydawca: Springer International Publishing
DOI: 10.24963/kr.2022/15

Publikacje

Udostępnij tę stronę

Pobierz