Foundations of nominal techniques: logic and semantics of variables in abstract syntax.
Murdoch James GabbayPublished in: Bull. Symb. Log. (2011)
Keyphrases
- propositional dynamic logic
- operational semantics
- predicate calculus
- logic programming
- proof theory
- sound and complete axiomatization
- logical formulas
- sound and complete with respect
- dynamic logic
- epistemic logic
- model theoretic
- logical framework
- high level
- formal semantics
- nonmonotonic logics
- definition language
- formal language
- modal logic
- propositional variables
- rule language
- lexical semantics
- proof theoretic
- artificial intelligence
- predicate logic
- autoepistemic logic
- reasoning about actions
- computational properties
- derivation rules
- classical logic
- modal operators
- logic programs
- first order logic
- attribute grammars
- constraint language
- default reasoning
- default logic
- alternating time temporal logic
- rule engine
- algebraic structure
- automated reasoning
- active rules
- nonmonotonic reasoning
- belief revision
- argumentation semantics
- asynchronous circuits
- abstract argumentation frameworks
- multi valued
- rewrite systems
- proof procedures
- semantic information
- truth values
- data model
- natural language
- defeasible logic