IF-logic and truth-definition

DOI10.1023/A:1017905122049zbMath0905.03030MaRDI QIDQ1267079

Gabriel Sandu

Publication date: 19 November 1998

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

first-order languagespartially ordered quantifierstruth-definitionpartially ordered connectivesgames of imperfect informationindependence-friendly first-order logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic with extra quantifiers and operators (03C80)

Related Items (4)

Truth and definite truth ⋮ What is the axiomatic method? ⋮ Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies ⋮ Henkin quantifiers and the definability of truth

Cites Work

• Henkin quantifiers and complete problems
• On the logic of informational independence and its applications
• Some applications of Henkin quantifiers
• On the semantics of the Henkin quantifier
• PARTIALLY ORDERED CONNECTIVES
• Hierarchies of Partially Ordered Connectives and Quantifiers
• Finite partially-ordered quantification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: IF-logic and truth-definition