Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

A logic with relative knowledge operators

From MaRDI portal
Publication:1288174
Jump to:navigation, search

DOI10.1023/A:1008227432405zbMath0928.68107MaRDI QIDQ1288174

Stéphane P. Demri

Publication date: 11 May 1999

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)


zbMATH Keywords

decidabilitysatisfiabilityHilbert-style axiomatization


Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)


Related Items (4)

Formal reasoning in preference-based multiple-source rough set model ⋮ The modal logic of agreement and noncontingency ⋮ Modal systems for covering semantics and boundary operator ⋮ Dynamic maintenance of rough approximations in multi-source hybrid information systems







This page was built for publication: A logic with relative knowledge operators

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1288174&oldid=13395255"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 31 January 2024, at 10:39.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki