Search results
- 1.0351064 - MÚ 2011 RIV GB eng C - Conference Paper (international conference)
Čačić, V. - Pudlák, Pavel - Restall, G. - Urquhart, A. - Visser, A.
Decorated linear order types and the theory of concatenation.
Logic Colloquium 2007. Cambridge: Cambridge University Press, 2010 - (Delon, F.; Kohlenbach, U.; Maddy, P.; Stephan, F.), s. 1-13. ISBN 978-0-521-76065-2.
[Logic Colloquium 2007. Wroclaw (PL), 14.07.2007-19.07.2007]
R&D Projects: GA AV ČR IAA1019401; GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10190503
Keywords : linear order * theory of concatenation
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0190897File Download Size Commentary Version Access Pudlak1.pdf 1 220.6 KB Author’s postprint open-access - 2.0348911 - ÚI 2011 RIV GB eng C - Conference Paper (international conference)
Bílková, Marta - Majer, Ondrej - Peliš, Michal - Restall, G.
Relevant Agents.
Advances in Modal Logic. London: College Publications, 2010 - (Beklemishev, L.; Goranko, V.; Shehtman, V.), s. 22-38. 8. ISBN 978-1-84890-013-4.
[Advances in Modal Logic. Moscow (RU), 24.08.2010-27.08.2010]
R&D Projects: GA ČR GEICC/08/E018; GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504; CEZ:AV0Z90090514
Keywords : modal logic * epistemic logic * relevant logic * substructural logic * frame semantics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0006064File Download Size Commentary Version Access a0348911 - BilkovaMajerPelis-RelevantAgents.pdf 5 207.9 KB Publisher’s postprint require