If you made any changes in Pure these will be visible here soon.

Research Output 2008 2019

Filter
Paper
2019
Open Access
File
Game theory
Probability distributions
2015
1 Citation (Scopus)

Reasoning with global assumptions in arithmetic modal logics

Kupke, C., Pattinson, D. & Schröder, L., 4 Aug 2015, p. 367-380. 14 p.

Research output: Contribution to conferencePaper

Open Access
File
Modal Logic
Reasoning
Polynomials
Logic
Upper bound