Comparing expressiveness of logics defined within different classes of models

DOI10.12775/LLP.2024.032MaRDI QIDQ6963311zbMATH OpenFDO

Authors Diego Pinheiro Fernandes

Publication date 7 July 2025

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NoDerivs 4.0 International

Full work available at URL https://doi.org/10.12775/LLP.2024.032

zbMATH Keywords

formal conditionsmodel-mappingsmodel-theoretic logicsrelative expressiveness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Abstract model theory (03C95)

Cites work

• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• From coalition logic to STIT
• scientific article; zbMATH DE number 5316601 (Why is no real title available?)
• scientific article; zbMATH DE number 824731 (Why is no real title available?)
• scientific article; zbMATH DE number 970636 (Why is no real title available?)
• Reduction of tense logic to modal logic. I
• What is a logic translation?

This page was built for publication: Comparing expressiveness of logics defined within different classes of models

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