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.
Linear temporal logicHistory of logicModal logicProbabilistic logicQuantum logicTemporal discretizationCombinatory logicSecond-order logicConstraint logic programmingLogical graphOutline of logicAbstract algebraic logicMarkov logic networkAlgebraic logicArgumentation theoryMathematical logicTemporal motivation theoryPhilosophy of space and timeStatistical learning theoryLinear logicRelativistic lagrangian mechanicsLandau theoryCredibility theoryTime translation symmetrySet theoryCalculus of constructionsFunctional calculusTime domainTopological data analysisPath integral formulationMaterial conditionalLambda calculusRelevance logicSystem dynamicsDialectical logicD'alembert's principleDynamic semanticsCausal reasoningBayesian epistemologyInductive logic programmingSki combinator calculusSpace syntaxLesk algorithmConstructive set theoryMathematical economicsDeontic logicLaw of continuityFunctional contextualismUnificationLogical atomismType theorySpacetimeLambda calculus definitionLogical formLog-linear analysisEpistemic modal logicSequential logicComplexity economicsAxiomatic systemLaplace's methodPragmatic maximChronologySyntaxGame theorySubjective logicPeirce's lawLangevin dynamicsLexical semanticsPicture theory of languageIllocutionary actCognitive linguisticsQuantum topologyDynamical systems theoryGentzen's consistency proofChronotopeSemantics of logicSpecial relativityDiscrete-event simulationTyped lambda calculusCylindric algebraNonlinear controlAxiom schemaHabitual aspectDynamic time warpingLogical connectiveBitemporal modelingIndex calculus algorithmProof calculusQuantum field theoryType constructorCalculus of communicating systemsEquations of motionDynamic bayesian networkFormulaLagrangian mechanicsCausal modelLogical consequenceIntertwingularityEvolvabilityInduction puzzles