Login / Signup
A Reduction Theorem for the Kripke-Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra.
Imants Baruss
Robert E. Woodrow
Published in:
Logica Universalis (2013)
Keyphrases
</>
modal logic
model checking
formal semantics
set theory
algebraic structure
temporal logic
operational semantics
algebraic operations
database query languages
database
databases
neural network
query language
inference rules
reduction method
kripke models