Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /: new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. (2018)

• Record Type: Book
• Other Titles: DALI 2017
• Further Information: Note: Alexandre Madeira, Mário Benevides (eds.).
• Editors: Madeira, Alexandre; Benevides, Mário
• Other Names: International Workshop on Dynamic Logic, 1st
• Contents: Undecidability of Relation-Changing Modal Logics -- Axiomatization and computability of a variant of iteration-free PDL with fork -- A Dynamic Logic for Learning Theory -- Layered logics, coalgebraically -- A Dynamic Informational-Epistemic Logic -- Dynamic Epistemic Logics of Introspection -- Logics for Actor Networks: a case study in constrained hybridization -- Parity Games and Automata for Game Logic -- Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment -- Dynamic Logic: A personal perspective -- The Creation and Change of Social Networks: a logical study based on group size.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (ix, 201 pages), illustrations
• Subjects: 005.101/5113; Computer science; Computer logic -- Congresses; Software engineering -- Congresses; Computer logic; Software engineering; Mathematical Logic and Formal Languages; Computers -- Hardware -- General; Computers -- Computer Graphics; Computers -- Security -- General; Computers -- Electronic Commerce; Mathematics -- Logic; Computer networking & communications; Image processing; Computer security; Business applications; Mathematical theory of computation; Artificial intelligence; Computer network architectures; Computer vision; Computer security; Computers -- Intelligence (AI) & Semantics; Artificial intelligence; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319735795; 3319735799; 3319735780; 9783319735788
• Related ISBNs: 9783319735788
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed January 16, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.