Number of the records: 1  

Blending margins: The modal logic K has nullary unification type

  1. 1.
    SYSNO0453140
    TitleBlending 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 supportMU-W - RVO:67985840
    Languageeng
    CountryGB
    Keywords modal logic * unification type * rule of margins
    URLhttp://logcom.oxfordjournals.org/content/25/5/1231
    Permanent Linkhttp://hdl.handle.net/11104/0254021
    FileDownloadSizeCommentaryVersionAccess
    Jerabek2.pdf2242.4 KBPublisher’s postprintrequire
     
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.