„Propositional Logic“
Suchergebnisse
395 Treffer
-
Computations in fragments of intuitionistic propositional logic
-
Algorithms for finding matrix models of propositional calculi
-
On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes
-
The degrees of maximality of the intuitionistic propositional logic and of some of its fragments
-
On a second order propositional operator in intuitionistic logic
-
Relevant propositional dynamic logic
-
Propositional logic as a model for adolescent intelligence-additional considerations
-
Labelled propositional modal logics – theory and practice
-
Propositional Type Theory of Indeterminacy
-
Improving proof search in intuitionistic propositional logic
-
Propositional logic of continuous transformations in Cantor space
-
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
-
On undecidability of the propositional logic of an associative binary modality
-
A comprehensive logic for epistemic propositional attidudes
-
Two classes of intermediate propositional logics without disjunction property
-
Sequent calculi for propositional star-free likelihood logic
-
Montague Type Semantics for Modal Logics with Propositional Quantifiers
-
AI's Knowledge Web: Logic Unleashed
-
Propositional semantics for disjunctive logic programs
-
Branch-and-cut solution of inference problems in propositional logic