Modality across different logics

DOI10.1093/JIGPAL/JZAE082MaRDI QIDQ6922551zbMATH OpenFDO

Authors Alfredo Roque Freire, Manuel A. Martins

Publication date 30 September 2025

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAE082

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53)

Cites work

• A classically-based theory of impossible worlds
• A Functional calculus of first order based on strict implication
• A Hilbert-style axiomatisation for equational hybrid logic
• Algebraic logic for classical conjunction and disjunction
• Algebraizable logics
• An introduction to non-classical logic. From if to is
• Completeness in equational hybrid propositional type theory
• Constructible falsity
• Definability and quantifier elimination for \(J_ 3\)-theories
• Editors’ introduction: Special issue on non-classical modal and predicate logics
• Epistemic logics with structured knowledge
• First-order intensional logic
• Formal inconsistency and evolutionary databases
• scientific article; zbMATH DE number 3821682 (Why is no real title available?)
• scientific article; zbMATH DE number 3604887 (Why is no real title available?)
• scientific article; zbMATH DE number 6979315 (Why is no real title available?)
• scientific article; zbMATH DE number 823601 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3260754 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• Hybridization of institutions
• Impossible worlds: A modest approach
• Logics of formal inconsistency
• Modal twist-structures over residuated lattices
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On axiomatizing Shramko-Wansing's logic
• Paraconsistent logic: consistency, contradiction and negation
• The logic of paradox
• Twist-valued models for three-valued paraconsistent set theory
• Ultraproducts and possible worlds semantics in institutions

Cited in

(3)

• On the contingency of logic in possible world semantics
• The institution of many-logics modal logic
• Lattices for \textit{many-logics} modal logic: constructions and representations

This page was built for publication: Modality across different logics

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