scientific article; zbMATH DE number 5734948

MaRDI QIDQ3574473zbMATH OpenFDO

Authors Tero Tulenheimo, Merlijn Sevenster

Publication date 9 July 2010

zbMATH Keywords

gamesindependence-friendly logicmodal logicuniform strategies

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Recommendations

• Modal indepence logic
• Modal independence logic
• scientific article; zbMATH DE number 1809623
• Dependence logic. A new approach to independence friendly logic
• On the Independent Axiomatizability of Modal and Intermediate Logics
• General models and entailment semantics for independence logic
• The expressive power of modal dependence logic
• Modal dependence logics: axiomatizations and model-theoretic properties
• Independence-friendly logic without Henkin quantification

Cited in

(16)

• Perfect IFG-formulas
• Hybrid logic meets IF modal logic
• Hintikka's independence-friendly logic meets Nelson's realizability
• General models and entailment semantics for independence logic
• Expressivity of imperfect information logics without identity
• IF modal logic and classical negation
• Semantic games with chance moves revisited: from IF logic to partial logic
• How to Lewis a Kripke-Hintikka
• Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
• A Logical Approach to Context-Specific Independence
• On the Formal Semantics of IF-Like Logics
• Extended semantics and inference for the Independent Choice Logic
• Equivalence criteria for compositional IF modal logics
• Supervenience, dependence, disjunction
• scientific article; zbMATH DE number 2196604 (Why is no real title available?)
• Independence-friendly logic without Henkin quantification

This page was built for publication:

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