The Generalized Logic of only Knowing (GOL) that Covers the Notion of Epistemic Specifications.
Jianhua ChenPublished in: ISMIS (1994)
Keyphrases
- delay insensitive
- epistemic logic
- kripke models
- dynamic epistemic logic
- modal logic
- bounded model checking
- asynchronous circuits
- modal operators
- model checker
- model checking
- set theory
- mathematical theory
- transition systems
- computation tree logic
- classical logic
- computational properties
- formal language
- high level
- operational semantics
- formal verification
- conditional logic
- multi agent systems
- logic programming
- general theory
- propositional dynamic logic
- recursive programs
- formal model
- proof theory
- expressive power
- temporal logic
- functional requirements
- linear logic
- logical framework
- formal theory
- predicate logic
- t norm