„Propositional Logic“
Suchergebnisse
395 Treffer
-
Partially Observable Markov Decision Processes with Behavioral Norms
-
Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages
-
Duality in Intuitionistic Propositional Logic
-
Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic
-
Propositional Dynamic Logic for Hyperproperties
-
FO = FO^3 for Linear Orders with Monotone Binary Relations (Track B: Automata, Logic, Semantics, and Theory of Programming)
-
A Simpler Undecidability Proof for System F Inhabitation
-
Extending Propositional Separation Logic for Robustness Properties
-
A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic
-
Validity and Entailment in Modal and Propositional Dependence Logics
-
The Model-Theoretic Expressiveness of Propositional Proof Systems
-
Expander Construction in VNC1
-
Axiomatizations for Propositional and Modal Team Logic
-
Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness
-
No complete linear term rewriting system for propositional logic
-
Rewriting with Linear Inferences in Propositional Logic
-
The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete
-
Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361)
-
Dynamic blocked clause elimination for projected model counting
-
One Head is Better than Two: A Polynomial Restriction for Propositional Definite Horn Forgetting