Return to Article Details Константные формулы в модальных логиках: проблема разрешения. Download Download PDF