MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.
Gabriel AguileraAlfredo BurriezaPablo CorderoInmaculada Perez de GuzmánEmilio Muñoz-VelascoPublished in: IBERAMIA-SBIA (2006)
Keyphrases
- modal logic
- interactive systems
- communication technologies
- modal operators
- temporal logic
- human computer interaction
- epistemic logic
- inference rules
- classical logic
- communication systems
- nonmonotonic logics
- wireless communication
- situation calculus
- dynamic logic
- default logic
- conditional logic
- digital entertainment
- computational power
- mobile devices
- user interface
- autoepistemic logic
- rapid development
- embedded systems