Please use this identifier to cite or link to this item:
https://dspace.iiti.ac.in/handle/123456789/6521
| Title: | A modal logic for non-deterministic information systems |
| Authors: | Khan, Md. Aquil |
| Keywords: | Formal logic;Information systems;Information use;Deductive systems;Modal logic;Non-deterministic information;Soundness and completeness;Computer circuits |
| Issue Date: | 2015 |
| Publisher: | Springer Verlag |
| Citation: | Khan, A. M. (2015). A modal logic for non-deterministic information systems doi:10.1007/978-3-662-45824-2_8 |
| Abstract: | In this article, we propose a modal logic for non-deterministic information systems. A deductive system for the logic is presented and corresponding soundness and completeness theorems are proved. The logic is also shown to be decidable. © Springer-Verlag Berlin Heidelberg 2015. |
| URI: | https://doi.org/10.1007/978-3-662-45824-2_8 https://dspace.iiti.ac.in/handle/123456789/6521 |
| ISBN: | 9783662458235 |
| ISSN: | 0302-9743 |
| Type of Material: | Conference Paper |
| Appears in Collections: | Department of Mathematics |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Altmetric Badge: