Displaying similar documents to “A criterion for admissibility of inference rules in some class of S4-logics without the branching property.”

Powerful digraphs.

Sudoplatov, S.V. (2007)

Sibirskij Matematicheskij Zhurnal

Similarity: