scientific article; zbMATH DE number 1028824
From MaRDI portal
Publication:4342087
zbMath0875.03035MaRDI QIDQ4342087
Publication date: 8 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
Automatic synthesis of logical models for order-sorted first-order theories ⋮ Remarks on the theory of quasi-sets ⋮ Choice inclusive general rough semantics ⋮ Some uses of logic in rigorous philosophy ⋮ The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques ⋮ On Non-transitive “Identity” ⋮ IF modal logic and classical negation ⋮ A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets ⋮ What is identical? ⋮ IF-logic and truth-definition ⋮ A computational model of belief ⋮ Axiomatising first-order temporal logic: Until and since over linear time ⋮ An axiomatization of PCTL*
This page was built for publication:
