Many-Valued Modal Logics (1992)

Cached

Download Links

by Melvin C. Fitting
Venue:Fundamenta Informaticae
Citations:215 - 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
633 Modal Logic: An Introduction – B F Chellas - 1980
82 Modal Logics for Qualitative Spatial Reasoning – Brandon Bennett, G. F. Shwartz, Minimal Artificial - 1996
2278 Maintaining knowledge about temporal intervals – James F. Allen, Lames F. Allen - 1983
85 TBox and ABox Reasoning in Expressive Description Logics – Giuseppe De Giacomo, Maurizio Lenzerini - 1996
16 Characteristica Universalis – Barry Smith, From K. Mulligan - 1990
67 Concepts, Attributes, and Arbitrary Relations -- Some Linguistic and Ontological Criteria for Structuring Knowledge Bases – Nicola Guarino - 1992
1340 Toward Principles for the Design of Ontologies Used for Knowledge Sharing – Thomas R. Gruber - 1993
304 Parts: a study in Ontology – P Simons - 1987
690 Introduction to metamathematics, D – S C 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
76 Topological inference – Michelangelo Grigni, Dimitris Papadias, Christos Papadimitriou - 1995
211 Reasoning about binary topological relations – M J Egenhofer - 1991
452 Model Theory – C C Chang, H J Keisler - 1973
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
495 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985