Validity and entailment in modal and propositional dependence logics

DOI10.4230/LIPICS.CSL.2017.28MaRDI QIDQ5111196zbMATH OpenOpenAlexFDO

Authors Miika Hannula

Publication date 26 May 2020

Full work available at URL https://doi.org/10.23638/LMCS-15(2:4)2019

zbMATH Keywords

complexitydependence logicentailmentmodal logicpropositional logicvalidity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• scientific article; zbMATH DE number 7056228
• Complexity of validity for propositional dependence logics
• Complexity of validity for propositional dependence logics
• Complexity Results for Modal Dependence Logic
• Complexity results for modal dependence logic

Cited in

(9)

• Complexity results for modal dependence logic
• Axiomatizations of team logics
• Validity Measurement in Some Propositional Logics
• Complexity of validity for propositional dependence logics
• Canonical models and the complexity of modal team logic
• Modal dependence logics: axiomatizations and model-theoretic properties
• Complexity of validity for propositional dependence logics
• scientific article; zbMATH DE number 7056228 (Why is no real title available?)
• De Finettian logics of indicative conditionals. I: Trivalent semantics and validity

This page was built for publication: Validity and entailment in modal and propositional dependence logics

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