MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
First-order logicModal logicTemporal logic of actionsType theoryLinear time-invariant systemModel of computationPhilosophical logicSatisfiability modulo theoriesBoolean circuitSemantics of logicLinear logicFormal epistemologyAxiom of extensionalityAxiomatic systemProbabilistic logicOutline of logicInductive logic programmingFormal scienceQuantum logicMethod of analytic tableauxModel theorySecond-order logicProvability logicMarkov logic networkCausal modelLinear extensionRule of inferenceLinear systemConstraint logic programmingStrict conditionalModus tollensPhilosophy of space and timeDeterministic systemSet-builder notationSequential logicLambda calculusFormal languageEpistemic modal logicHorn clauseTime-scale calculusLogical matrixSystem dynamicsLogical consequenceAlethic modalityTime complexityLogicismStructural inductionResolutionSpacetimePrinciple of compositionalityRepresentation theoryRecursive languageNatural deductionRelevance logicTheory of computationTime hierarchy theoremTheoretical computer scienceLinear differential equationTime domainTruth valueDynamical systems theoryChronologyModel-based designLog-linear modelLinear regressionContext-sensitive languageSimulationRecursive definitionType constructorAbstract algebraic logicSecond-order arithmeticTruth tableT-normQuadratic reciprocityHistory of logicQuantum complexity theoryQuantum circuitIndex calculus algorithmModus ponensAbstract interpretationDtimeContinuous linear operatorTime translation symmetryThree-valued logicTime evolutionLogical formPsychology of reasoningClassical control theoryAxiom of pairingCircuit complexityPattern languageProbabilistic turing machineBoolean algebraCircuitFormal concept analysisState-transition tableLinear optical quantum computingArgumentation theoryIntensional logicDynamic simulation