Switch to: Citations

References in:

Theorem proving with built-in hybrid theories

Logic and Logical Philosophy 6:77 (1998)

Add references

You must login to add references.

A resolution principle for constrained logics.Hans-Jürgen Bürckert - 1994 - Artificial Intelligence 66 (2):235-271.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 3 citations
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.details Modal Logic in Logic and Philosophy of Logic Semantics for Modal Logic in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 264 citations
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning.Alan M. Frisch - 1991 - Artificial Intelligence 49 (1-3):161-198.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 7 citations

1