Time and Modality in the Logic of Agency.

Brian F. Chellas

Published in: Stud Logica (1992)

Keyphrases

multi modal
medical images
modal logic
logic programming
environmental protection
database
proof theory
multi valued
epistemic logic
information systems
information technology
logic programs
automated reasoning
predicate logic
deontic logic
sound and complete axiomatization