scientific article; zbMATH DE number 7056228

MaRDI QIDQ5376655zbMATH OpenFDO

Authors Miika Hannula

Publication date 17 May 2019

Full work available at URL https://arxiv.org/abs/1608.04301

zbMATH Keywords

complexitydependence logicentailmentinclusion logicindependence logicmodal logicpropositional logicvalidity

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Validity and entailment in modal and propositional dependence logics
• Modal dependence logic
• Modal dependence logics: axiomatizations and model-theoretic properties
• The expressive power of modal dependence logic
• Complexity of validity for propositional dependence logics
• Complexity of validity for propositional dependence logics
• Model-theoretic and computational properties of modal dependence logic
• Propositional logics of dependence
• Entailment multipliers: an algebraic characterization of validity for classical and modal logics
• Modal definability based on Łukasiewicz validity relations

Cites work

• Alternation
• Axiomatizing propositional dependence logics
• Complexity of model checking for modal dependence logic
• Complexity of Propositional Independence and Inclusion Logic
• Complexity of propositional logics in team semantic
• Complexity of validity for propositional dependence logics
• Complexity results for modal dependence logic
• Compositional semantics for a language of imperfect information
• Dependence logic. A new approach to independence friendly logic
• Extended modal dependence logic \(\mathcal{EMDL}\)
• Hierarchies in independence logic
• scientific article; zbMATH DE number 3489106 (Why is no real title available?)
• scientific article; zbMATH DE number 4118333 (Why is no real title available?)
• scientific article; zbMATH DE number 3196255 (Why is no real title available?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Lower bounds for multiplayer noncooperative games of incomplete information
• Modal dependence logic
• Modal dependence logics: axiomatizations and model-theoretic properties
• Modal inclusion logic: being lax is simpler than being strict
• Modal indepence logic
• Model checking and validity in propositional and modal inclusion logics
• Model checking for modal dependence logic: an approach through Post's lattice
• Model-theoretic and computational properties of modal dependence logic
• Propositional logics of dependence
• The complexity of theorem-proving procedures
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• The expressive power of modal dependence logic
• The expressive power of modal logic with inclusion atoms

Cited in

(9)

• Validity Measurement in Some Propositional Logics
• Logics for propositional determinacy and independence
• Complexity of validity for propositional dependence logics
• Canonical models and the complexity of modal team logic
• Validity and entailment in modal and propositional dependence logics
• Model checking and validity in propositional and modal inclusion logics
• Complexity of validity for propositional dependence logics
• Validity and Entailment in Modal and Propositional Dependence Logics
• De Finettian logics of indicative conditionals. I: Trivalent semantics and validity

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 Q5376655)