Fixed-Point Logics, Generalized Quantifiers, and Oracles

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/7.3.405
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Complete Problems for Fixed-Point Logics

Journal of Symbolic Logic
PhilosophyLogic
1995English

Game Solution, Epistemic Dynamics and Fixed-Point Logics

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Generalized Quantifiers and Logical Reducibilities

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1995English

Multi-Valued Modal Fixed Point Logics for Model Checking

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

Generalized Normed Spaces and Fixed Point Theorems

Journal of Mathematics and Computer Science
Computational MechanicsComputational MathematicsComputer Science ApplicationsMathematics
2014English

Modal Ontology and Generalized Quantifiers

Journal of Philosophical Logic
Philosophy
2012English

Generalized Probabilistic Metric Spaces and Fixed Point Theorems

Fixed Point Theory and Applications
GeometryApplied MathematicsTopology
2014English

Fixed Point Results for Generalized Theta-Contractions

Journal of Nonlinear Science and Applications
Number TheoryAnalysisAlgebra
2017English

Generalized Quantifiers in Declarative and Interrogative Sentences

Logic Journal of the IGPL
Philosophy
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy