On the formal semantics of IF-like logics
type: Item
instance of: scholarly article
title: On the formal semantics of IF-like logics
zbMATH Open document ID: 1197.03028
author: Santiago Figueira
author: Daniel Gorín
author: Rafael Grimson
published in: Journal of Computer and System Sciences
publication date: 2010-07-08T00:00:00Z
full work available at URL: http://hdl.handle.net/1942/12820
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 5731994
zbMATH Keywords: independence-friendly logic
zbMATH Keywords: regular formulas
zbMATH Keywords: signaling
zbMATH Keywords: valuation
zbMATH Keywords: compositional semantics
zbMATH Keywords: full abstraction
zbMATH Keywords: flattening operator
MaRDI profile type: Publication
OpenAlex ID: W2171275058
cites work: Q5691485
cites work: Q5732647
cites work: Finite partially-ordered quantification
cites work: Finite Partially‐Ordered Quantifiers
cites work: On branching quantifiers in English
cites work: On the logic of informational independence and its applications
cites work: Second-Order Logic and Foundations of Mathematics
cites work: Compositional semantics for a language of imperfect information
cites work: Independent choices and the interpretation of IF logic
cites work: Q3574468
cites work: Q4362727
cites work: Q5755192
cites work: Q4699335
cites work: Equivalence and quantifier rules for logic with imperfect information
cites work: Q5667469
cites work: Q3728878
cites work: On the semantics of informational independence
DOI: 10.1016/J.JCSS.2009.10.006
description: scientific article; zbMATH DE number 5731994