Publication:3992821
From MaRDI portal
zbMath0669.68059MaRDI QIDQ3992821
Publication date: 23 January 1993
DB lookup for MSC labels failed
Related Items
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning, A non-reified temporal logic, An order-sorted logic for knowledge representation systems, Multimodal logic programming using equational and order-sorted logic, Completing sort hierarchies, A resolution principle for constrained logics, Embedding complex decision procedures inside an interactive theorem prover., On Skolemization in constrained logics, Unification in sort theories and its applications, An order-sorted resolution in theory and practice, A note on assumptions about Skolem functions, Proving theorems by reuse