C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Behavioral Program Logic.
Eduard Kamburjan
Published in:
TABLEAUX (2019)
Keyphrases
</>
classical logic
declarative semantics
logic programming
databases
defeasible logic
program execution
recursive programs
social networks
information systems
website
modal logic
static analysis
probabilistic logic
set theory
deontic logic
sound and complete axiomatization