<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet type="text/xsl" href="style/detail_T.xsl"?>
<bibitem type="A">   <ARLID>0446011</ARLID> <utime>20240103210314.7</utime><mtime>20150723235959.9</mtime>         <title language="eng" primary="1">Two-layer Modal Logics: Formalism and Applications</title>  <specification> <page_count>1 s.</page_count> </specification>   <serial><ARLID>cav_un_epca*0446007</ARLID><title>Logica 2015</title><part_num/><part_title/><page_num>15-15</page_num><publisher><place>Prague</place><name>Institute of Philosophy AS CR</name><year>2015</year></publisher></serial>   <author primary="1"> <ARLID>cav_un_auth*0100737</ARLID> <name1>Cintula</name1> <name2>Petr</name2> <full_dept language="cz">Oddělení teoretické informatiky</full_dept> <full_dept language="eng">Department of Theoretical Computer Science</full_dept> <institution>UIVT-O</institution> <full_dept>Department of Theoretical Computer Science</full_dept>  <fullinstit>Ústav informatiky AV ČR, v. v. i.</fullinstit> </author> <author primary="0"> <ARLID>cav_un_auth*0293476</ARLID> <name1>Noguera</name1> <name2>Carles</name2> <full_dept language="cz">Matematická teorie rozhodování</full_dept> <full_dept>Department of Decision Making Theory</full_dept> <department language="cz">MTR</department> <department>MTR</department> <institution>UTIA-B</institution> <full_dept>Department of Decision Making Theory</full_dept>  <fullinstit>Ústav teorie informace a automatizace AV ČR, v. v. i.</fullinstit> </author>        <cas_special> <action target="EUR"> <ARLID>cav_un_auth*0340152</ARLID> <name>Logica 2015</name> <place>Hejnice</place> <dates>20150615</dates>  <country>CZ</country> <unknown tag="mrcbC20-s">20150619</unknown> </action>  <reportyear>2016</reportyear>       <unknown tag="mrcbC52"> 4 O 4o 20231122141044.2 </unknown> <inst_support> RVO:67985807 </inst_support> <inst_support> RVO:67985556 </inst_support>  <permalink>http://hdl.handle.net/11104/0247994</permalink>   <confidential>S</confidential>       <arlyear>2015</arlyear>    <unknown tag="mrcbTft">  Soubory v repozitáři: a0446011.pdf </unknown>    <unknown tag="mrcbU63"> cav_un_epca*0446007 Logica 2015 15 15 Prague Institute of Philosophy AS CR 2015 </unknown> </cas_special> </bibitem>