Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Modal Independence Logic
Map detail
Modal Independence Logic6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipTopic signalModal Independence LogicWModal Independence Logicpreprint / 2014Juha KontinenAJuha KontinenResearcherJulian-Steffen MüllerAJulian-Steffen MüllerResearcherHenning SchnoorAHenning SchnoorResearcherHeribert VollmerAHeribert VollmerResearcherLogic in Computer ScienceTLogic in Computer Science2208 works
Paper5 links

Modal Independence Logic

preprint / 2014