Thinking takes time: a modal active-logic for reasoning in time

Madhura Nirkhe, S. Kraus, Don Perlis

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Most common sense reasoning formalisms do not account for the passage of time a s the reasoning occurs, and hence are inadequate from the point of view of modeling an agent's {\em ongoing} process of reasoning. We present a modal active-logic that treats time as a valuable resource that is consumed in each step of the agent's reasoning. We provide a sound and complete characterization for this logic and examine how it addresses the problem of logical omniscience. (Also cross-referenced as UMIACS-TR-94-39)
Original languageAmerican English
Title of host publicationBISFAI-95
StatePublished - 1995

Bibliographical note

Place of conference:Israel


Dive into the research topics of 'Thinking takes time: a modal active-logic for reasoning in time'. Together they form a unique fingerprint.

Cite this