ALPUIS

Project: Research council

  • 4 Article
  • 3 Chapter or section
  • 1 Chapter in a published conference proceeding
Filter
Chapter or section

Search results

  • 2017

    A Non-classical Logical Approach to Social Software

    Baskent, C., 2 Mar 2017, Rohit Parikh on Logic, Language and Society. Cham: Springer, Vol. 11. p. 91-109 (Outstanding Contributions to Logic; vol. 11).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    1 Citation (SciVal)
  • 2016

    A Logic for the Compliance Budget

    Anderson, G., McCusker, G. & Pym, D., 2016, Proceedings, GameSec 2016- Decision and Game Theory for Security: 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016. Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M. & Casey, W. (eds.). Springer Verlag, p. 370-381 (Lecture Notes in Computer Science; vol. 9996).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    3 Citations (SciVal)
    239 Downloads (Pure)

  • Topological semantics for da costa paraconsistent logics Cω and C∗ ω

    Baskent, C., 9 Feb 2016, New Directions in Paraconsistent Logic, Part IV: 5th WCP, Kolkata, India, February 2014. Dutta, S., Beziau, J.-Y. & Chakraborty, M. (eds.). Springer, p. 427-444 18 p. (Springer Proceedings in Mathematics & Statistics; vol. 152).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    1 Citation (SciVal)