|
gptkb:Higher-order_logic
|
Standard semantics
|
|
gptkb:Modal_μ-calculus
|
transition systems
|
|
gptkb:Classical_Logic_Programming
|
Proof-theoretic Semantics
|
|
gptkb:Higher_Order_Logic
|
gptkb:Henkin_semantics
|
|
gptkb:first-order_predicate_calculus
|
interpretations
|
|
gptkb:Classical_Logic_Programming
|
Model-theoretic Semantics
|
|
gptkb:first-order_predicate_calculus
|
gptkb:model
|
|
gptkb:Concurrent_Constraint_Programming
|
declarative semantics
|
|
gptkb:Linear_temporal_logic
|
Linear time semantics
|
|
gptkb:VDM-RT
|
denotational semantics
|
|
gptkb:CSP_(Communicating_Sequential_Processes)
|
operational semantics
|
|
gptkb:First-order_logic
|
interpretations
|
|
gptkb:CSP_(Communicating_Sequential_Processes)
|
failures-divergences semantics
|
|
gptkb:CSP_(Communicating_Sequential_Processes)
|
failures semantics
|
|
gptkb:Communicating_Sequential_Processes
|
denotational semantics
|
|
gptkb:Modal_μ-calculus
|
gptkb:Kripke_structures
|
|
gptkb:autoepistemic_logic
|
Moore's expansion
|
|
gptkb:first-order_logic
|
interpretations
|
|
gptkb:second-order_logic
|
gptkb:Henkin_semantics
|
|
gptkb:Higher_Order_Logic
|
standard semantics
|