2 search results - page 1 / 1 » The Nondeterministic Information Logic NIL is PSPACE-complet... |
FUIN
2000
13 years 4 months ago
2000
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...
FUIN
2007
13 years 4 months ago
2007
We define a relative version of the logic NIL introduced by Orłowska, Pawlak and Vakarelov and we show that satisfiability is not only decidable but also EXPTIME-complete. Such ...