Similar Items: Validity and Entailment in Modal and Propositional Dependence Logics
- On Sub-Propositional Fragments of Modal Logic
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
- Relative Entailment Among Probabilistic Implications
- Decidability for Entailments of Symbolic Heaps with Arrays
- Propositional Dynamic Logic for Message-Passing Systems