Semiproducts, products, and modal predicate logics: some examples

DOI10.1134/s1064562423701296OpenAlexW4391383761WikidataQ129041072 ScholiaQ129041072MaRDI QIDQ6123100

No author found.

Publication date: 4 March 2024

Published in: Doklady Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s1064562423701296

zbMATH Keywords

products of modal logicspredicate modal logicssemiproducts of modal logics

Mathematics Subject Classification ID

General logic (03Bxx) Mathematical logic and foundations (03-XX) Model theory (03Cxx)

Cites Work

• Quantification in nonclassical logic. Volume I.
• On modal logic with an intuitionistic base
• Tools and techniques in modal logic
• Many-dimensional modal logics: theory and applications
• Larisa Maksimova on implication, interpolation, and definability
• On Kripke completeness of modal predicate logics around quantified \textbf{K5}
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
• Decidable fragments of first-order modal logics
• Bisimulation games and locally tabular logics
• Products of modal logics, part 1
• Two-dimensional modal logic
• Two-dimensional modal logic

This page was built for publication: Semiproducts, products, and modal predicate logics: some examples