TY - JOUR T1 - Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators JO - Journal of Philosophical Logic PY - 2001/01/01 AU - Gregory D ED - PB - Springer Netherlands VL - 30 SP - 57 EP - 78 Y2 - 2024/12/22 ER -