Fitting's Embedding of Classical Logic in S4 and Trace Properties in the Computational Model
Authors: Gergei Bana and Mitsuhiro Okada
Paper Information
| Title: | Fitting's Embedding of Classical Logic in S4 and Trace Properties in the Computational Model |
| Authors: | Gergei Bana and Mitsuhiro Okada |
| Proceedings: | FCS-FCC 2014 Informal Proceedings |
| Editors: | Matteo Maffei, Michael Clarkson and Boris Köpf |
| Keywords: | first order logic, modal logic, computational semantics, security protocols |
| Abstract: | ABSTRACT. We explain the connection between Fitting's embedding of classical logic in S4 and the non-Tarskian computational semantics that Bana and Comon defined to interpret first-order formulas for their computationally complete symbolic attacker. |
| Pages: | 0 |
| Talk: | Jul 18 17:10 |
| Paper: |  |