Temporal Reasoning over Deontic Specifications Journal Articles

authors

• FIADEIRO, J
• Maibaum, Thomas

status

• published 

publication date

• 1991

has subject area

• 01 Mathematical Sciences (FoR)
• 08 Information and Computing Sciences (FoR)
• 22 Philosophy and Religious Studies (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Journal of Logic and Computation  Journal

keywords

• 46 Information and Computing Sciences
• 4602 Artificial Intelligence
• 4613 Theory Of Computation
• 50 Philosophy and Religious Studies
• 5003 Philosophy

Digital Object Identifier (DOI)

• 10.1093/logcom/1.3.357

start page

• 357

end page

• 395

volume

• 1

issue

• 3