Lattices for \textit{many-logics} modal logic: constructions and representations

DOI10.1007/978-981-96-0354-1_3MaRDI QIDQ6917174zbMATH OpenFDO

Authors Alfredo Roque Freire, Alexandre Madeira, Manuel A. Martins

Publication date 14 October 2025

Full work available at URL https://doi.org/10.1007/978-981-96-0354-1_3

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• An exercise on the generation of many-valued dynamic logics
• Formal system verification. State-of the-art and future trends
• Foundations of algebraic specification and formal software development.
• Foundations of heterogeneous specification.
• scientific article; zbMATH DE number 1181276 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Hybridization of institutions
• Modality across different logics
• Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems
• The logic of paradox
• Tools and algorithms for the construction and analysis of systems. 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5--13, 2014. Proceedings

Cited in

(2)

• The institution of many-logics modal logic
• On many-logic modal structures and information-based logics

This page was built for publication: Lattices for \textit{many-logics} modal logic: constructions and representations

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