Structured Contexts with Fibred Semantics

Publisher Website

1 January 2000

book chapter
Published by Springer Nature

p. 193-209
https://doi.org/10.1007/978-94-015-9397-7_12

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Labelled Deductive Systems
Published by Oxford University Press (OUP) ,1996
METAMATHEMATICS OF CONTEXTS
Fundamenta Informaticae, 1995
Generality in artificial intelligence
Communications of the ACM, 1987
Modal Logic
Published by Cambridge University Press (CUP) ,1980