Decidable and undecidable logics with a binary modality - Concepedia

Concepedia

Publication | Closed Access

Decidable and undecidable logics with a binary modality

22

Citations

16

References

1995

Year

�gnes Kurucz, I. N�meti, Ildik� Sain, Andr�s Simon

Journal of Logic Language and Information

Non-classical LogicEngineeringSubstructural LogicAutomated ReasoningModal LogicFormal MethodsComputer ScienceFormal VerificationBinary Modality

References

	Year	Citations

Page 1