Local applications of logics via model-theoretic interpretations

DOI10.12775/LLP.2022.023MaRDI QIDQ6485795zbMATH OpenFDO

Authors Carlos Benito-Monsalvo

Publication date 20 December 2022

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

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

zbMATH Keywords

interpretationslocalismmodel-theoretic semanticsproof-theoretic semanticsST-hierarchy

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Relative interpretations and substitutional definitions of logical truth and consequence
• Models and logical consequence
• scientific article; zbMATH DE number 218514
• Logic as applied mathematics -- with particular application to the notion of logical form
• scientific article; zbMATH DE number 7563614

Cited in

(5)

• Local collection and end-extensions of models of compositional truth
• scientific article; zbMATH DE number 1497740 (Why is no real title available?)
• Locality and Applications to Subsumption Testing in EL and Some of its Extensions
• Notions of locality and their logical characterizations over finite models
• scientific article; zbMATH DE number 5589211 (Why is no real title available?)

This page was built for publication: Local applications of logics via model-theoretic interpretations

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