States of affairs as values for formulas
Miroslav Mleziva (1975)
Kybernetika
Similarity:
Displaying similar documents to “Semantics based on states of affairs”
States of affairs as values for formulas
Horn clause programs and recursive functions defined by systems of equations
Jan Šebelík (1982)
Kybernetika
Similarity:
Formalized models of ontological systems
Milan Růžička (1982)
Kybernetika
Similarity:
On probability of first order formulas in a given model
Jozef Šajda (1979)
Kybernetika
Similarity: