Hybrid Logics

Work on this project is done in collaboration with Adnecto d.o.o.

Publications

Dean Rosenzweig, Davor Runje, Neva Slani: "Typed Hybrid Multimodal Logic", manuscript, 2003.
[ PostScript, PDF ]

Dean Rosenzweig, Davor Runje: "Tableaux-Based Prover for Typed Hybrid Multimodal Logic (System Description)" , in Proceedings of 3rd Method for Modalities Workshop,INRIA- Lorraine, Nancy, 2003.
[ PostScript, PDF ]

Feature

A Puzzle

Take a moment to look at a simple puzzle and walk through its elegant solution, done in AsmL.

Links