IF-logic and truth-definition
type: Item
instance of: scholarly article
title: IF-logic and truth-definition
zbMATH Open document ID: 0905.03030
DOI: 10.1023/A:1017905122049
author: Gabriel Sandu
published in: Journal of Philosophical Logic
publication date: 1998-11-19T00:00:00Z
Mathematics Subject Classification ID: 03C80
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 1206972
zbMATH Keywords: independence-friendly first-order logic
zbMATH Keywords: truth-definition
zbMATH Keywords: first-order languages
zbMATH Keywords: partially ordered connectives
zbMATH Keywords: partially ordered quantifiers
zbMATH Keywords: games of imperfect information
MaRDI profile type: Publication
cites work: Some applications of Henkin quantifiers
cites work: Henkin quantifiers and complete problems
cites work: Q4395567
cites work: Q5732647
cites work: Q4732440
cites work: Q4342087
cites work: On the semantics of the Henkin quantifier
cites work: Hierarchies of Partially Ordered Connectives and Quantifiers
cites work: Q4395559
cites work: Q3893889
cites work: On the logic of informational independence and its applications
cites work: PARTIALLY ORDERED CONNECTIVES
cites work: Finite partially-ordered quantification
Recommended article: Q3469079
Recommended article: IF logic and the foundations of mathematics
Recommended article: Logics of truth
Recommended article: IF modal logic and classical negation
Recommended article: Q5755194
Recommended article: Q5755191
Recommended article: Logic and/of Truthmaking
Recommended article: Q5215786
Recommended article: Logical Form and Truth-Conditions
description: scientific article; zbMATH DE number 1206972