Login / Signup
A Syntactic Realization Theorem for Justification Logics.
Kai Brünnler
Remo Goetschi
Roman Kuznets
Published in:
Advances in Modal Logic (2010)
Keyphrases
</>
intuitionistic logic
modal logic
natural language
expressive power
von neumann
classical logic
inference rules
epistemic logic
anti unification
syntactic structures
valued logic
digital topology
reason maintenance
semantic role labeling
higher level
conditional logic
case study
truth values
linear logic
co occurrence