A lattice-theoretical fixpoint theorem and its applications

Cited In (only showing first 100 items - show all)

A fixpoint theorem for complete categories
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
Nondeterministic semantics of compound diagrams
A framework for compositional verification of multi-valued systems via abstraction-refinement
The Birth of Model Checking
HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems
A Hybrid Denotational Semantics for Hybrid Systems
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
Computable Functions in ASP: Theory and Implementation
On externally complete subsets and common fixed points in partially ordered sets
The contraction principle for set valued mappings on a metric space with a graph
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
Property-directed incremental invariant generation
Paradox, truth and logic. I. Paradox and truth
What truth depends on
Estimation of quantity games in the presence of indivisibilities and heterogeneous firms
Bounded situation calculus action theories
Recursive smooth ambiguity preferences
Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
Relational algebraic semantics of deterministic and nondeterministic programs
Computing kernels in directed bichromatic graphs
Some coincidence theorems for generalized nonlinear contractions in ordered metric spaces with applications
A fixed point iterative approach to integer programming and its distributed computation
Inductive properties of fixed point sets of mappings on posets and on partially ordered topological spaces
Noncooperative versus cooperative R\&D with endogenous spillover rates
Generalized metric spaces: a survey
Nash equilibrium with strategic complementarities
Common fixed point and coincidence point of generalized contractions in ordered metric spaces
Best proximity points: approximation and optimization in partially ordered metric spaces
Symmetric versus asymmetric equilibria in symmetric supermodular games
Relation-algebraic semantics
The equational logic of fixed points
Embedding theorems for classes of convex sets
Weakest preconditions for pure Prolog programs
Universal coalgebra: A theory of systems
Markov stationary equilibria in stochastic supermodular games with imperfect private and public information
Chain-complete posets and directed sets with applications
Fixed point for set-valued mappings satisfying an implicit relation in partially ordered metric spaces
Abstract comparison principles and multivariable Gronwall-Bellman inequalities
Nearest fixed points and concurrent priority games
Proof methods of declarative properties of definite programs
Fixed point theorems for set valued mappings in partially ordered \(G\)-metric space
Remarks on a nonlinear complementarity problem
Normal design algebra
On stable matchings and flows
Order-reversing maps and unique fixed points in complete lattices
Abstract measure differential inequalities and applications
The IO- and OI-hierarchies
The generalized order complementarity problem
Symmetry-breaking in two-player games via strategic substitutes and diagonal nonconcavity: a synthesis
Compositional verification and 3-valued abstractions join forces
Stackelberg versus Cournot equilibrium
On possible generalization of fuzzy concept lattices using dually isomorphic retracts
Relatively terminal coalgebras
Some comparison and oscillation results for first-order differential equations and inequalities with a deviating argument
Reverse mathematics and order theoretic fixed point theorems
On a characterization of stable matchings
Ł\(\Pi\) logic with fixed points
Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations
Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations
Monotone comparative statics for games with strategic substitutes
Second-mover advantage and price leadership in Bertrand duopoly
Time consistent Markov policies in dynamic economies with quasi-hyperbolic consumers
Local closed world reasoning with description logics under the well-founded semantics
Topology, domain theory and theoretical computer science
Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
Fixed points of monotone nonexpansive mappings on a hyperbolic metric space with a graph
When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus
A note on fixed point results without monotone property in partially ordered metric space
Remarks on monotone multivalued mappings on a metric space with a graph
Aggregate comparative statics
A qualitative approach to Markovian equilibrium in infinite horizon economies with capital
Specification and Verification of Multi-Agent Systems
Comparative statics in non-cooperative games via transfinitely iterated play
Choice function-based two-sided markets: stability, lattice property, path independence and algorithms
On decidability of recursive weighted logics
Stationary Markovian equilibrium in overlapping generation models with stochastic nonclassical production and Markov shocks
Model checking propositional dynamic logic with all extras
First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus
Comparative statics of fixed points
Fixed points of multivalued mappings in modular function spaces with a graph
Total reward semi-Markov mean-field games with complementarity properties
A constructive study of Markov equilibria in stochastic games with strategic complementarities
ConGolog, a concurrent programming language based on the situation calculus
Structural estimation of pairwise stable networks with nonnegative externality
Deferred acceptance algorithms: history, theory, practice, and open questions
Fixpoints and search in PVS
An extension of Tarski's fixed point theorem and its application to isotone complementarity problems
On Kernels of Graphs and Solutions of Games: A Synopsis Based on Relations and Fixpoints
Coalgebraic semantic model for the clock constraint specification language
Connecting the cooperative and competitive structures of the multiple-partners assignment game
A complete proof system for propositional projection temporal logic
Equational properties of stratified least fixed points (extended abstract)
Efficient CTL model-checking for pushdown systems
General quantitative specification theories with modal transition systems
A generalization of Naundorf's fixpoint theorem
Compositional verification of sequential programs with procedures
Qualitative reachability in stochastic BPA games
Denotational models for programming languages: Applications of Banach's fixed point theorem
Mathematical programming: Turing completeness and applications to software analysis

This page was built for publication: A lattice-theoretical fixpoint theorem and its applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2653567)