Keyphrases
- dynamic logic
- modal logic
- reasoning about actions
- imperative programs
- legal documents
- legal knowledge
- case law
- classical first order logic
- evaluation process
- multiple input
- legal reasoning
- agent programming
- legal texts
- legal cases
- legal issues
- artificial intelligence
- legal information retrieval
- modal operators
- proceedings of the th international conference