|
gptkb:autoepistemic_logic
|
stable expansion
|
|
gptkb:first-order_predicate_calculus
|
gptkb:model
|
|
gptkb:first-order_modal_logic
|
gptkb:possible_worlds_semantics
|
|
gptkb:Linear_Temporal_Logic
|
linear time semantics
|
|
gptkb:L_{ω_1,ω}_logic
|
standard Tarskian semantics
|
|
gptkb:linear_time_logic
|
linear sequences of states
|
|
gptkb:Modal_μ-calculus
|
gptkb:Kripke_structures
|
|
gptkb:Second-order_logic
|
gptkb:Henkin_semantics
|
|
gptkb:CSP_(Communicating_Sequential_Processes)
|
trace semantics
|
|
gptkb:CSP_(Communicating_Sequential_Processes)
|
failures-divergences semantics
|
|
gptkb:Communicating_Sequential_Processes
|
operational semantics
|
|
gptkb:CSP_(Communicating_Sequential_Processes)
|
operational semantics
|
|
gptkb:First-order_logic
|
interpretations
|
|
gptkb:Pi-calculus
|
structural operational semantics
|
|
gptkb:Higher-order_logic
|
gptkb:Henkin_semantics
|
|
gptkb:First-order_logic
|
gptkb:model
|
|
gptkb:second-order_logic
|
standard semantics
|
|
gptkb:CSP_(Communicating_Sequential_Processes)
|
denotational semantics
|
|
gptkb:infinite-valued_Łukasiewicz_logic
|
algebraic semantics
|
|
gptkb:Epistemic_Logic
|
gptkb:Kripke_semantics
|