Keyphrases
- dynamic logic
- reasoning about actions
- imperative programs
- modal logic
- multiple input
- propositional dynamic logic
- legal knowledge
- legal texts
- legal cases
- first order logic
- legal information
- agent programming
- legal documents
- case law
- legal information retrieval
- artificial intelligence and law
- competence development
- classical first order logic
- legal issues
- legal argument
- intellectual property
- legal reasoning