Concurrent Logic and Automata Combined: A Semantics for Components.
Juliana Küster FilipeSotiris MoschoyiannisPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- logic programming
- nonmonotonic logics
- proof theory
- propositional dynamic logic
- sound and complete with respect
- sound and complete axiomatization
- dynamic logic
- epistemic logic
- active rules
- formal language
- cellular automata
- computational properties
- operational semantics
- formal semantics
- proof theoretic
- modal logic
- automated reasoning
- logical framework
- classical logic
- conditional logic
- alternating time temporal logic
- intuitionistic logic
- logical rules
- derivation rules
- formal languages
- modal operators
- autoepistemic logic
- model theoretic
- finite automata
- algebraic structure
- default logic
- deductive databases
- temporal logic
- data model
- knowledge base