Pronađeno 2 rezultata za: "semantika mogućih svjetova"
teorija značenja prema kojoj značenje rečenice ne ovisi samo o tome kakav je stvarni, postojeći svijet, nego i o tome kakav svijet može biti ili kakav bi mogao biti
pristup semantici prirodnoga jezika koji se temelji na matematičkoj logici, posebice teoriji skupova, lambda- računu, intenzionalnoj logici i teoriji tipova, a može se okarakterizirati kao istinosnouvjetna, modelnoteorijska semantika mogućih svjetova