Search results

  • 2019

    A History Based Logic for Dynamic Preference Updates

    McCusker, G. & Baskent, C., 12 Nov 2019, In: Journal of Logic, Language and Information. p. 1-31 31 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    984 Downloads (Pure)
  • 2018

    A Yabloesque paradox in epistemic game theory

    Baskent, C., 1 Jan 2018, In: Synthese. 195, 1, p. 441–464 24 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    1 Citation (SciVal)
    156 Downloads (Pure)
  • 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 proceedingChapter 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 proceedingChapter or section

    Open Access
    File
    3 Citations (SciVal)
    239 Downloads (Pure)
  • Game theoretical semantics for some non-classical logics

    Baskent, C., 2 Sept 2016, In: Journal of Applied Non-Classical Logics. 26, 3, p. 208-239 32 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    8 Citations (SciVal)
    185 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 proceedingChapter or section

    1 Citation (SciVal)
  • 2015

    Game theoretical semantics for paraconsistent logics

    Baskent, C., 19 Nov 2015, Logic, Rationality, and Interaction: Proceedings of 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. van der Hoek, W., Holliday, W. H. & Wang, W.-F. (eds.). Berlin, Germany: Springer, p. 14-26 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9394).

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

    2 Citations (SciVal)
  • Some non-classical approaches to the Brandenburger-Keisler paradox

    Baskent, C., 26 May 2015, In: Logic Journal of the IGPL. 23, 4, p. 533-552 20 p., jzv001.

    Research output: Contribution to journalArticlepeer-review

    2 Citations (SciVal)