default search action
6th IMLA@UNILOG 2013: Rio de Janeiro, Brazil
- Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel:
Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013. Electronic Notes in Theoretical Computer Science 300, Elsevier 2014 - Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel:
Preface. 1-2 - Dick Crouch, Valeria de Paiva:
If, not when. 3-20 - Adriano Dodó, João Marcos:
Negative Modalities, Consistency and Determinedness. 21-45 - Simon Kramer:
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders). 47-70 - Konstantinos Pouliasis, Giuseppe Primiero:
J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic. 71-87 - Gabriela Steren, Eduardo Bonelli:
Intuitionistic Hypothetical Logic of Proofs. 89-103
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.