ON DATABASES WITH INCOMPLETE INFORMATION

[1] Codd E. F., 1975, FDT B ACM SIGMOD, V7, P23

[2] CODD EF, 1970, COMMUN ACM, V13, P377, DOI [10.1145/362384.362685, 10.1145/357980.358007]

[3] Fitting M., 1969, INTUITIONISTIC LOGIC

[4] Hall P., 1935, J LONDON MATH SOC, V1, P26, DOI DOI 10.1112/JLMS/S1-10.37.26

[5] Hopcroft J. E., 1973, SIAM Journal on Computing, V2, P225, DOI 10.1137/0202019

[6] Hughes George Edward, 1972, INTRO MODAL LOGIC

[7] JAEGERMANN M, 1979, FUNDAMENTA INFORM, V2, P141

[8] JAEGERMANN M, 1978, FNDAMENTA INFORMATIC, V2, P17

[9] Kripke S., 1965, FORMAL SYSTEMS RECUR, P92, DOI [10.1016/S0049-237X(08)71685-9, DOI 10.1016/S0049-237X(08)71685-9]

[10] Kripke SA., 1963, MATH LOGIC QUART, V9, P67, DOI [DOI 10.1002/MALQ.19630090502, 10.1002/malq.19630090502]

[1] Codd E. F., 1975, FDT B ACM SIGMOD, V7, P23

[2] CODD EF, 1970, COMMUN ACM, V13, P377, DOI [10.1145/362384.362685, 10.1145/357980.358007]

[3] Fitting M., 1969, INTUITIONISTIC LOGIC

[4] Hall P., 1935, J LONDON MATH SOC, V1, P26, DOI DOI 10.1112/JLMS/S1-10.37.26

[5] Hopcroft J. E., 1973, SIAM Journal on Computing, V2, P225, DOI 10.1137/0202019

[6] Hughes George Edward, 1972, INTRO MODAL LOGIC

[7] JAEGERMANN M, 1979, FUNDAMENTA INFORM, V2, P141

[8] JAEGERMANN M, 1978, FNDAMENTA INFORMATIC, V2, P17

[9] Kripke S., 1965, FORMAL SYSTEMS RECUR, P92, DOI [10.1016/S0049-237X(08)71685-9, DOI 10.1016/S0049-237X(08)71685-9]

[10] Kripke SA., 1963, MATH LOGIC QUART, V9, P67, DOI [DOI 10.1002/MALQ.19630090502, 10.1002/malq.19630090502]