Aktualistiniai kvantoriai

Aktualistiniai kvantoriai – tai kvantoriai, į kurių apimtį patenka tik faktinio pasaulio domene esantys objektai. Modalinės logikos galimų pasaulių semantikoje galimos skirtingos modelių apibrėžtys. Nekintamo domeno semantikoje numatoma, kad modelyje yra tik vienas domenas – jis galioja globaliai visuose pasauliuose. Kita vertus, varijuojančio domeno modeliuose vietoje globalaus domeno numatomi vietiniai pasaulių domenai, kurie nebūtinai sutampa. Idėja čia ta, kad skirtinguose pasauliuose gali egzistuoti skirtingi objektai, tad reikia numatyti ir skirtingiems pasauliams būdingus domenus. Aktualistiniai kvantoriai – tai kvantoriai, kurie varijuojančio domeno modelių kontekste numato, kad jų aprėptis tik vietinis pasaulio domenas. Aktualistinius kvantorius derėtų priešinti su posibilistiniais kvantoriais, kurie numato, kad kvantorių aprėptis – tai visų vietinių domenų sąjunga.