A modal logic for non-deterministic information systems

Khan, Md. Aquil

Please use this identifier to cite or link to this item: https://dspace.iiti.ac.in/handle/123456789/6521

Full metadata record

DC Field	Value	Language
dc.contributor.author	Khan, Md. Aquil	en_US
dc.date.accessioned	2022-03-17T01:00:00Z	-
dc.date.accessioned	2022-03-21T10:49:43Z	-
dc.date.available	2022-03-17T01:00:00Z	-
dc.date.available	2022-03-21T10:49:43Z	-
dc.date.issued	2015	-
dc.identifier.citation	Khan, A. M. (2015). A modal logic for non-deterministic information systems doi:10.1007/978-3-662-45824-2_8	en_US
dc.identifier.isbn	9783662458235	-
dc.identifier.issn	0302-9743	-
dc.identifier.other	EID(2-s2.0-84914169772)	-
dc.identifier.uri	https://doi.org/10.1007/978-3-662-45824-2_8	-
dc.identifier.uri	https://dspace.iiti.ac.in/handle/123456789/6521	-
dc.description.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.	en_US
dc.language.iso	en	en_US
dc.publisher	Springer Verlag	en_US
dc.source	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	en_US
dc.subject	Formal logic	en_US
dc.subject	Information systems	en_US
dc.subject	Information use	en_US
dc.subject	Deductive systems	en_US
dc.subject	Modal logic	en_US
dc.subject	Non-deterministic information	en_US
dc.subject	Soundness and completeness	en_US
dc.subject	Computer circuits	en_US
dc.title	A modal logic for non-deterministic information systems	en_US
dc.type	Conference Paper	en_US
Appears in Collections:	Department of Mathematics

Files in This Item:

There are no files associated with this item.

Show simple item record

Altmetric Badge: