Login / Signup
A modal extension of Jaśkowski's discussive logic |$\textbf{D}_\textbf{2}$|.
Krystyna Mruczek-Nasieniewska
Marek Nasieniewski
Andrzej Pietruszczak
Published in:
Log. J. IGPL (2019)
Keyphrases
</>
modal logic
nonmonotonic logics
logic programming
predicate logic
proof theoretic
machine learning
genetic algorithm
classical logic
dynamic logic
logical framework
default theories
information retrieval
artificial intelligence
propositional variables