Publisher
Springer International Publishing
Reference26 articles.
1. van Benthem, J.: A note on dynamic arrow logic. In: van Eijck, J., Visser, A. (eds.) Logic and Information Flow, pp. 15–29. MIT Press (1994)
2. van Benthem, J.: Logic and the flow of information. In: Prawitz, D., Skyrms, B., Westerstȧhl, D. (eds.) Logic, Methodology and Philosophy of Science IX, Studies in Logic and the Foundations of Mathematics, vol. 134, pp. 693–724. Elsevier (1995).
https://doi.org/10.1016/S0049-237X(06)80070-4
3. Outstanding Contributions to Logic;J Benthem,2014
4. Bimbó, K., Dunn, J.M.: Relational semantics for Kleene logic and action logic. Notre Dame J. Formal Logic 46(4), 461–490 (2005).
https://doi.org/10.1305/ndjfl/1134397663
5. Buszkowski, W.: On action logic: equational theories of action algebras. J. Logic Comput. 17(1), 199–217 (2006).
https://doi.org/10.1093/logcom/exl036
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献