2 search results - page 1 / 1 » The Nondeterministic Information Logic NIL is PSPACE-complet... |
86
Voted
FUIN
2000
15 years 28 days 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...
89
Voted
FUIN
2007
15 years 1 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 ...