Publication:2721181

zbMath0963.03028MaRDI QIDQ2721181

Melvin Fitting

Publication date: 1 July 2001

Mathematics Subject Classification ID

68P15: Database theory

03B45: Modal logic (including the logic of norms)

03B70: Logic in computer science

Related Items

First-order intensional logic