olanaklılık yöneticisi anlamı İng. possibility operator Osm.imkân Alm. Möglichkeitsoperator Fr. Opérateur de possibilité
p gibi bir önermeden < > p (p olanaklıdır) önermesini oluşturan doğrusal olmayan birli eklem. || < > p önermesinin (…) Tamdurumunda doğru olması, p önermesinin (...) ın kipsel almaşığı olan (…) gibi en az bir tamdurumda doğru olması demektir. Olanaklılık yöneticisinin ikillisi zorunluluk yöneticisidir: (…)