Dynamic logic (modal logic)

About
Privacy
Disclaimer

Graph Chatbot

Related publications (5)

Analysing the potential for modal shiftbased on the logic of modal choice

Vincent Kaufmann, Eloi Antoine Maël Bernier, Florian Lucien Jacques Masse, Ludy Juliana González Villamizar

This article explores how the logic underlying modal practices tends to modulate the population’s responsiveness to improvements in global transport supply. Based on a quantitative survey conducted in 2018–2019 among the working population of the cantons o ...

2023

Data-Interpretation methodologies for Non-Linear Earthquake Response Predictions of Damaged Structures

Ian Smith, Pierino Lestuzzi, Yves Sylvain Gilles Reuland

Seismic exposure of buildings presents difficult engineering challenges. The principles of seismic design involve structures that sustain damage and still protect inhabitants. Precise and accurate knowledge of the residual capacity of damaged structures is ...

2017

A New Basic Logic Structure for Data-Path Computation

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

Nowadays, Field Programmable Gate Arrays (FPGA) implement arithmetic functions using specific circuits at the logic block level, such as the carry paths, or at the structure level adopting Digital Signal Processing (DSP) blocks. Nevertheless, all these app ...

2014

Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography

Simon Kramer

This article is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic). We focus on two fundame ...

2008

Logical concepts in cryptography

Simon Kramer

This thesis is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic). We focus on two fundamen ...

EPFL2007

Page 1 of 1