On many-logic modal structures and information-based logics

DOI10.1007/S10849-026-09467-XMaRDI QIDQ7396493zbMATH OpenFDO

Authors Manuel A. Martins, Abilio Rodrigues, Marcelo E. Coniglio, Alfredo Roque Freire

Publication date 2026

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10849-026-09467-X

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• First degree entailments
• First-order logics of evidence and truth with constant and variable domains
• Formal inconsistency and evolutionary databases
• From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Generalized truth values.: A reply to Dubois
• How a Computer Should Think
• scientific article; zbMATH DE number 45458 (Why is no real title available?)
• scientific article; zbMATH DE number 2080023 (Why is no real title available?)
• scientific article; zbMATH DE number 3212008 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3315182 (Why is no real title available?)
• Inconsistency Tolerance
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• Lattices for \textit{many-logics} modal logic: constructions and representations
• Modality across different logics
• On Barrio, Lo Guercio, and Szmuc on logics of evidence and truth
• Paraconsistent logic programming
• The logic of information structures

This page was built for publication: On many-logic modal structures and information-based logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7396493)