Number of the records: 1
Blending margins: The modal logic K has nullary unification type
- 1.
SYSNO 0453140 Title Blending margins: The modal logic K has nullary unification type Author(s) Jeřábek, Emil (MU-W) RID, SAI, ORCID Source Title Journal of Logic and Computation. Roč. 25, č. 5 (2015), s. 1231-1240 Document Type Článek v odborném periodiku Grant IAA100190902 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) 1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS), CZ - Czech Republic Institutional support MU-W - RVO:67985840 Language eng Country GB Keywords modal logic * unification type * rule of margins URL http://logcom.oxfordjournals.org/content/25/5/1231 Permanent Link http://hdl.handle.net/11104/0254021 File Download Size Commentary Version Access Jerabek2.pdf 2 242.4 KB Publisher’s postprint require
Number of the records: 1