From forcing to satisfaction in Kripke models of intuitionistic predicate logic.

Maryam Abiri Morteza Moniri Mostafa Zaare

Published in: Log. J. IGPL (2018)

Keyphrases

predicate logic
kripke models
modal logic
temporal logic
classical logic
knowledge representation and reasoning
formal logic
theorem prover
computational linguistics
model checking
semantic network
order sorted
lower level
decision procedures
data analysis
partial order
logic programs