Many-Valued Modal Logics (1992)

Cached

Download Links

by Melvin C. Fitting
Venue:Fundamenta Informaticae
Citations:216 - 16 self

Documents Related by Co-Citation

565 A Spatial Logic based on Regions and Connection – David A. Randell, Zhan Cui, Anthony G. Cohn - 1992
634 Modal Logic, An Introduction – Brian Chellas - 1980
82 Modal Logics for Qualitative Spatial Reasoning – Brandon Bennett, G. F. Shwartz, Minimal Artificial - 1996
2284 Maintaining knowledge about temporal intervals – James F. Allen, Lames F. Allen - 1983
82 TBox and ABox Reasoning in Expressive Description Logics – Giuseppe De Giacomo, Maurizio Lenzerini - 1996
16 Characteristica Universalis – Barry Smith, From K. Mulligan - 1990
68 Concepts, Attributes, and Arbitrary Relations -- Some Linguistic and Ontological Criteria for Structuring Knowledge Bases – Nicola Guarino - 1992
1353 Toward Principles for the Design of Ontologies Used for Knowledge Sharing – Thomas R. Gruber - 1993
305 Parts: A study in Ontology – P Simons - 1987
686 Introduction to Metamathematics – Stephen Cole Kleene - 1952
37 Computational Properties of Qualitative Spatial Reasoning: First Results – Bernhard Nebel - 1995
97 Qualitative Spatial Representation and Reasoning Techniques – A.G. Cohn - 1997
98 Spatial Reasoning with Propositional Logics – Brandon Bennett - 1994
213 Reasoning about Binary Topological Relations – M J Egenhofer - 1991
77 Topological inference – Michelangelo Grigni, Dimitris Papadias, Christos Papadimitriou - 1995
451 Model Theory – C Chang, H J Keisler - 1990
271 Proof Methods for Modal and Intuitionistic Logics, volume 169 of Synthese Library – M Fitting - 1983
46 A Canonical Model of the Region Connection Calculus – Jochen Renz - 1997
493 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985