Expressivity of imperfect information logics without identity

DOI10.1007/s11225-013-9482-7zbMath1269.03032OpenAlexW1979956707MaRDI QIDQ1956377

Antti Kuusisto

Publication date: 13 June 2013

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

Full work available at URL: https://doi.org/10.1007/s11225-013-9482-7

zbMATH Keywords

independence-friendly logicexpressive powerequality-free settingfragment of existential second-order logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (3)

Alternating (in)dependence-friendly logic ⋮ MAXIMALITY OF LOGIC WITHOUT IDENTITY ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elements of finite model theory.
• On definability in dependence logic
• On elementary equivalence for equality-free logic
• On operations and linear extensions of well partially ordered sets
• Coherence and computational complexity of quantifier-free dependence logic formulas
• Equivalence and quantifier rules for logic with imperfect information
• Independence-friendly cylindric set algebras
• Quantifiers vs. Quantification Theory
• Ordering by Divisibility in Abstract Algebras
• Team Logic and Second-Order Logic

This page was built for publication: Expressivity of imperfect information logics without identity