A Dynamic Logic for Every Season

DOI10.1007/978-3-319-15075-8_9zbMath1335.03030OpenAlexW2397987272MaRDI QIDQ2797867

Manuel A. Martins, Renato Neves, Luís Soares Barbosa, Alexandre Madeira

Publication date: 1 April 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10773/15101

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (5)

An exercise on the generation of many-valued dynamic logics ⋮ Graded epistemic logic with public announcement ⋮ A fuzzy modal logic for fuzzy transition systems ⋮ All-Path Reachability Logic ⋮ A family of graded epistemic logics

This page was built for publication: A Dynamic Logic for Every Season