Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies

DOI10.1016/J.JCSS.2014.04.004MaRDI QIDQ2453581zbMATH OpenOpenAlexFDO

Authors Santiago Figueira, Daniel Gorín, Rafael Grimson

Publication date 10 June 2014

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2014.04.004

zbMATH Keywords

expressive powerflattening operatorimperfect information logicindependence-friendly logicsecond-order logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80)

Recommendations

• Dependence logic. A new approach to independence friendly logic
• Independence-friendly logic without Henkin quantification
• Independence-friendly logic without Henkin quantification
• Independence in higher-order subclassical logic
• Alternating (in)dependence-friendly logic
• scientific article; zbMATH DE number 5734948
• Independence-friendly logic. A game-theoretic approach

Cites work

• Compositional semantics for a language of imperfect information
• Dependence logic. A new approach to independence friendly logic
• Equivalence and quantifier rules for logic with imperfect information
• Finite partially-ordered quantification
• Finite Partially‐Ordered Quantifiers
• Henkin quantifiers and the definability of truth
• Hierarchies of number-theoretic predicates
• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 1163935 (Why is no real title available?)
• scientific article; zbMATH DE number 1361517 (Why is no real title available?)
• scientific article; zbMATH DE number 4118333 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• IF-logic and truth-definition
• Independent choices and the interpretation of IF logic
• On generalized quantifiers in arithmetic
• On the expressive power of IF-logic with classical negation
• On the formal semantics of IF-like logics
• On the semantics of informational independence
• Signalling in IF games: a tricky business

Cited in

(1)

• On the expressive power of IF-logic with classical negation

This page was built for publication: Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies

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