The following pages link to (Q3509051):
Displaying 12 items.
- Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100) (← links)
- An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus (Q557788) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- Positive announcements (Q2046881) (← links)
- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility (Q2915076) (← links)
- Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary R (Q3185766) (← links)
- A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames (Q3520237) (← links)
- μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★ (Q3647242) (← links)
- BDD-based decision procedures for the modal logic K ★ (Q3647260) (← links)
- (Q4448731) (← links)
- Some Formal Semantics for Epistemic Modesty (Q5006835) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897786) (← links)
