Model theory and validity

DOI10.1023/A:1005217809302MaRDI QIDQ5926253zbMATH OpenOpenAlexFDO

Authors Yannis Stephanou

Publication date 16 July 2001

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005217809302

zbMATH Keywords

free logicmodal concept of validitymodel-theoretic concept of logical consequenceplural quantificationpossible worldspredicate calculussentential logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Model theory (03C99)

Recommendations

• Formal notes on the substitutional analysis of logical consequence
• Modality, invariance, and logical truth
• Validity and actuality
• Modal correspondence for models
• Validity in intensional languages: A new approach

Cited in

(6)

• Modality, invariance, and logical truth
• Consistency, models, and soundness
• scientific article; zbMATH DE number 7594250 (Why is no real title available?)
• The substitutional analysis of logical consequence
• Formal notes on the substitutional analysis of logical consequence
• A plea for logical objects

This page was built for publication: Model theory and validity

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