Feasible computation through model theory
Feasible computation through model theory
Infinitary logic and inductive definability over finite structures
Information and Computation
Computing with first-order logic
Selected papers of the 23rd annual ACM symposium on Theory of computing
On the complexity of bounded-variable queries (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The expressive power of finitely many generalized quantifiers
Information and Computation
Automaticity I: properties of a measure of descriptional complexity
Journal of Computer and System Sciences
Handbook of formal languages, vol. 3
Deciding the winner in parity games is in UP ∩ co-UP
Information Processing Letters
Theoretical Computer Science
Bisimulation-invariant PTIME and higher-dimensional &mgr;-calculus
Theoretical Computer Science
Modal logic
Expressive Equivalence of Least and Inflationary Fixed-Point Logic
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Generalising Automaticity to Modal Properties of Finite Structures
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Bounded-Variable Fixpoint Queries are PSPACE-complete
CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic
Inflationary Fixed Points in Modal Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Backtracking games and inflationary fixed points
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Generalising automaticity to modal properties of finite structures
Theoretical Computer Science
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Proof-theoretic analysis of rationality for strategic games with arbitrary strategy sets
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Extended computation tree logic
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
The expressive power of two-variable least fixed-point logics
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Hi-index | 0.00 |
We consider an extension of modal logic with an operator for constructing inflationary fixed points, just as the modal μ-calculus extends basic modal logic with an operator for least fixed points. Least and inflationary fixed-point operators have been studied and compared in other contexts, particularly in finite model theory, where it is known that the logics IFP and LFP that result from adding such fixed-point operators to first-order logic have equal expressive power. As we show, the situation in modal logic is quite different, as the modal iteration calculus (MIC), we introduce has much greater expressive power than the μ-calculus. Greater expressive power comes at a cost: the calculus is algorithmically much less manageable.