Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference20 articles.
1. Areces C.E. Logic Engineering. The Case of Description and Hybrid Logics. 2000. ILLC dissertation series 2000-05.
2. Avron A. Lev I. Canonical propositional Gentzen-type systems. In: Goré R. Leitsch A. Nipkow T. , editors. Proceedings of the First International Joint Conference on Automated Reasoning. Springer; 2001. p. 529-544.
3. Non-deterministic Multiple-valued Structures
4. Avron A. Zamansky A. Proceedings of the 35th International Symposium on Multiple-Valued Logic. IEEE; 2005. Quantification in non-deterministic multi-valued structures; p. 296-301.
5. Non-deterministic semantics for logical systems;Avron,2011
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Analytic Tableaux for Non-deterministic Semantics;Lecture Notes in Computer Science;2021
2. On Semantic Gamification;Logic and Its Applications;2016-12-03
3. Hintikka-Style Semantic Games for Fuzzy Logics;Lecture Notes in Computer Science;2014