Depth-bounded Epistemic Logic

Epistemic logics model how agents reason about their beliefs and the beliefs of other agents. Existing logics typically assume the ability of agents to reason perfectly about propositions of unbounded modal depth. We present DBEL, an extension of S5 that models agents that can reason about epistemic formulas only up to a specific modal depth. To support explicit reasoning about agent depths, DBEL includes depth atoms Ead (agent a has depth exactly d) and Pad (agent a has depth at least d). We provide a sound and complete axiomatization of DBEL. We extend DBEL to support public announcements for bounded depth agents and show how the resulting DPAL logic generalizes standard axioms from public announcement logic. We present two alternate extensions and identify two undesirable properties, amnesia and knowledge leakage, that these extensions have but DPAL does not. We provide axiomatizations of these logics as well as complexity results for satisfiability and model checking. Finally, we use these logics to illustrate how agents with bounded modal depth reason in the classical muddy children problem, including upper and lower bounds on the depth knowledge necessary for agents to successfully solve the problem.Comment: In Proceedings TARK 2023, arXiv:2307.0400

Healthy Housing 2016: Proceedings of the 7th International Conference on Energy and Environment of Residential Buildings, 20-24 November, 2016

This conference series was initiated in Sendai, Japan in 2000 and has played a significant role in the development of Energy and Environment of Residential Buildings. It is well attended by researchers and academics from Asia, Europe and North America. In 2016 the conference moves to Brisbane, Australia, hosted by Queensland University of Technology and has adopted the overarching theme of Healthy Housing. The conference offers an exciting program that will not only facilitate research exchange between academics, but will supports and facilitatse dialogue with industry (housing providers) and government (housing regulators). These procedings collect the papers for the 2016 conference covering the topics: – Sustainable design and construction – Indoor environment – Neighbourhood planning – Modelling, simulation and post-occupancy evaluation – Building information and management – Valuation, marketing and financ

Svenskan i Finland 18

Artonde sammankomsten för Svenskan i Finland hölls på konferenshotellet Radisson Blu Marina Palace Hotel i Åbo den 11 och 12 oktober 2018. Konferensen samlade drygt 60 deltagare från Finland och Sverige. Värd för konferensen var läroämnet Nordiska språk vid Åbo universitet. Temat för konferensen var Svenskan i Finland, i all sin mångfald. Totalt presenterades 26 föredrag och 3 postrar på konferensen. Första dagen inleddes med ett plenarföredrag av professor Catrin Norrby från Stockholms universitet som talade om temat Att interagera på finlandssvenska och sverigesvenska. Hur hänger språkbruk, kultur och nation ihop? Den andra dagen inleddes med ett plenarföredrag om temat Svenskundervisning i den digitala eran av språkcenterdirektör Taina Juurakko-Paavola från Tammerfors universitet. I de övriga föredragen och postrarna behandlades bl.a. översättning, språkmöten i skönlitteratur, historiska texter, integration på svenska, skrivundervisning, institutionell kommunikation och olika aspekter av svenska som andraspråk. Konferensmiddagen hölls på muséet Aboa Vetus & Ars Nova. Före middagen ordnades en rundvandring med guide i den historiska delen av muséet. Konferensen ordnades med understöd av Svenska litteratursällskapet i Finland och Turun Yliopistosäätiö. Vi tackar varmt för bidragen. I denna elektroniska konferensvolym publiceras ett av plenarföredragen och tio av de föredrag som hölls vid konferensen. Samtliga artiklar har genomgått referentgranskning och även granskats av redaktionen. Catrin Norrbys plenarföredrag inleder volymen och de övriga artiklarna står i alfabetisk ordning efter författarnamnet eller första författarens namn vid artiklar med flera författare. Den vid skrivande stund pågående coronaepidemin har lett till en viss förskjutning både i tidtabellen för denna konferensvolym och följande konferens inom serien. Svenskan i Finland 19 skulle ursprungligen ha ägt rum i juni innevarande år men hålls enligt nuvarande planer i stället 6 och 7 maj 2021 i Vasa. Vi önskar Åbo Akademi i Vasa lycka till med arrangemangen och ser fram emot att delta i konferense

Översättningsforskningens (o)synlighet inom nordistiken i Finland under 2010-talet

Peer reviewe