Record Beta

International Workshop on Dynamic Logic

https://id.confref.org/data/confref-portal/event/dali2017

This record is part of the confref event International Workshop on Dynamic Logic.

rdf:type	portal:Conference
schema:location	Brasília (wd:Q2844)
rdfs:label	International Workshop on Dynamic Logic
portal:acronym	DALI
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Brasilia
portal:country	Brazil
portal:endDate	2017-09-24
portal:keyword	Axiomatization
portal:keyword	Belief revision
portal:keyword	Coalgebra
portal:keyword	Dynamic Preference Logic
portal:keyword	Dynamic epistemic logic
portal:keyword	Epistemic logic
portal:keyword	Epistemology
portal:keyword	Fork
portal:keyword	Inductive knowledge
portal:keyword	Iteration-free PDL
portal:keyword	Layered logics
portal:keyword	Learning theory
portal:keyword	Multi-agent systems
portal:keyword	computability
portal:keyword	dynamic logics
portal:keyword	hierarchical models
portal:keyword	many-valued logics
portal:keyword	modal logic
portal:keyword	modal logics
portal:name	International Workshop on Dynamic Logic
portal:portalPage	http://portal.confref.org/list/dali2017
portal:series	https://id.confref.org/data/confref-portal/series/dali
portal:startDate	2017-09-23
portal:submissionExtended	false
portal:year	2017
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.