Modern faces of filtration
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 986406 (Why is no real title available?)
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 3485746 (Why is no real title available?)
- scientific article; zbMATH DE number 3603256 (Why is no real title available?)
- scientific article; zbMATH DE number 2086675 (Why is no real title available?)
- A finite model theorem for the propositional \(\mu\)-calculus
- A general filtration method for modal logics
- A semantic hierarchy for intuitionistic logic
- A simple logic of functional dependence
- A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology.
- ATOMS IN MODAL ALGEBRAS
- Algebraic semantics for modal logics I
- An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees
- An algebraic approach to filtrations for superintuitionistic logics
- An algebraic look at filtrations in modal logic
- An algebraic theory of normal forms
- An infinitary treatment of full \(\mu\)-calculus
- Canonical formulas for K4. Part I: Basic results
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Changing a Semantics: Opportunism or Courage?
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics
- Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
- Computer Science Logic
- Continuity, freeness, and filtrations
- Decidability and the finite model property
- Decidability results in non-classical logics
- Dynamic logic of preference upgrade
- Everything else being equal: a modal logic for ceteris paribus preferences
- Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
- Finite models constructed from canonical formulas
- Free Modal Algebras: A Coalgebraic Perspective
- Free modal algebras revisited: the step-by-step method
- Guarded fixed point logics and the monadic theory of countable trees.
- Handbook of modal logic
- Inquisitive semantics
- Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Lindstrom theorems for fragments of first-order logic
- Logical dynamics of information and interaction
- Logics containing K4. Part II
- Loosely guarded fragment of first-order logic has the finite model property
- Merging frameworks for interaction
- Modal languages and bounded fragments of predicate logic
- Modal logic
- Modal logic and invariance
- Neighborhood semantics for modal logic
- Normal forms in modal logic
- On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II
- Propositional quantifiers in modal logic1
- Quotient dynamics: the logic of abstraction
- Stable canonical rules
- Stable modal logics
- That All Normal Extensions of S4.3 Have the Finite Model Property
- The Logics Containing S 4.3
- The algebra of topology
- The metatheory of the classical propositional calculus is not axiomatizable
- Toward a dynamic logic of questions
- Tracking information
- Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators
This page was built for publication: Modern faces of filtration
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6911830)
