Properties of Embeddings from Int to S4
Authors:
Uwe Egly
Affiliations:
-
Venue:
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Year:
2000
Citing
0
Cited
1
Connections in nonclassical logics
Handbook of automated reasoning
Quantified Score
Hi-index
0.00
Visualization
Abstract