Mai Ajspur

From MaRDI portal
Person:2936231

Available identifiers

zbMath Open ajspur.maiMaRDI QIDQ2936231

List of research outcomes





PublicationDate of PublicationType
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge2015-01-06Paper
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge2013-06-11Paper

Research outcomes over time

This page was built for person: Mai Ajspur

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2936231&oldid=7297443"
Powered by MediaWiki