Complete Problems for Fixed-Point Logics

Journal of Symbolic Logic - United Kingdom
doi 10.2307/2275847
Full Text
Abstract

Available in full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Multi-Valued Modal Fixed Point Logics for Model Checking

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2010English

Fixed-Point Logics, Generalized Quantifiers, and Oracles

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

Game Solution, Epistemic Dynamics and Fixed-Point Logics

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Viscosity Iterative Method for Split Common Null Point Problems and Fixed Point Problems

Journal of Nonlinear Science and Applications
Number TheoryAnalysisAlgebra
2018English

Split Hierarchical Variational Inequality Problems and Fixed Point Problems for Nonexpansive Mappings

Journal of Inequalities and Applications
CombinatoricsApplied MathematicsAnalysisDiscrete Mathematics
2015English

Strong Convergence Theorems for Maximal Monotone Operators, Fixed-Point Problems, and Equilibrium Problems

ISRN Applied Mathematics
2013English

Fixed-Point Harmonic-Balanced Method for Nonlinear Eddy Current Problems

International Journal of Energy and Power Engineering
2016English

Some Fixed Point Theorems for Generalized Contractive Mappings in Complete Metric Spaces

Fixed Point Theory and Applications
GeometryApplied MathematicsTopology
2015English

Fixed Point Theorems on Fλ-Orbitally Complete Normed Spaces

Mathematica Moravica
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy