The Generalized Logic of only Knowing (GOL) That Covers the Notion of Epistemic Specifications.
Jianhua ChenPublished in: J. Log. Comput. (1997)
Keyphrases
- delay insensitive
- epistemic logic
- bounded model checking
- asynchronous circuits
- kripke models
- dynamic epistemic logic
- computation tree logic
- modal logic
- computational properties
- set theory
- transition systems
- modal operators
- model checker
- operational semantics
- model checking
- belief change
- mathematical theory
- formal language
- high level
- propositional dynamic logic
- recursive programs
- logic programming
- deontic logic
- finite state machines
- formal specification
- automated reasoning
- multi valued
- belief revision
- classical logic
- predicate logic
- formal model
- model theoretic
- formal theory
- partial order
- logical framework
- neural network
- valued logic
- conceptual change
- formal semantics
- probability theory
- general theory
- description logics
- multi agent systems
- conditional logic