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
- Title:
- 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)
- Main Title:
- Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.367014
- Ingest File:
- 01_343.xml