Associative substitutional semantics and quantified modal logic

DOI10.1007/s11225-010-9222-1zbMath1197.03020OpenAlexW2021134003MaRDI QIDQ965898

Bartosz Więckowski

Publication date: 26 April 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-010-9222-1

zbMATH Keywords

modal logicfirst-order logicsubstitutional quantificationtruth-value semanticspredicationphilosophy of quantified modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (4)

Constructive belief reports ⋮ A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ RULES FOR SUBATOMIC DERIVATION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modalities and intensional languages
• Types, tableaus, and Gödel's God
• Truth, syntax and modality. Proceedings of the Temple University conference on alternative semantics
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• Substitutional Quantification and Existence
• Outline of a Theory of Truth
• Bare possibilia

This page was built for publication: Associative substitutional semantics and quantified modal logic