Ramaswamy Ramanujam

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Implicit quantification for modal reasoning in large games Synthese	2026-03-27	Paper
Decidability of a partial order based temporal logic Automata, Languages and Programming	2019-03-29	Paper
Logic in India -- editorial introduction Journal of Philosophical Logic	2012-03-09	Paper
A knowledge based semantics of messages Journal of Logic, Language and Information	2003-09-01	Paper
scientific article; zbMATH DE number 1773086 (Why is no real title available?)	2002-07-28	Paper
Models and logics for true concurrency. Sādhanā	2002-02-18	Paper
A logical study of distributed transition systems Information and Computation	1995-08-01	Paper
TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I International Journal of Foundations of Computer Science	1993-01-16	Paper
scientific article; zbMATH DE number 4119639 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 3902018 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3901999 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Ramaswamy Ramanujam