The following pages link to (Q4325547):
Displaying 29 items.
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
- Codimension and pseudometric in co-Heyting algebras (Q535091) (← links)
- Quantification in nonclassical logic. Volume I. (Q731484) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Normal design algebra (Q844885) (← links)
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- Diagram techniques for confluence (Q1271472) (← links)
- Propositional lax logic (Q1368378) (← links)
- Characterizing determinacy in Kleene algebras (Q1602558) (← links)
- Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
- Characterizing right inverses for spatial constraint systems with applications to modal logic (Q1786563) (← links)
- Guarded fixed point logics and the monadic theory of countable trees. (Q1853504) (← links)
- The geometry of standard deontic logic (Q1931304) (← links)
- Constrained consequence (Q1941731) (← links)
- Coalgebra and abstraction (Q1981994) (← links)
- Reasoning about distributed information with infinitely many agents (Q2043805) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- One-step modal logics, intuitionistic and classical. II (Q2240543) (← links)
- Geographic wayfinders and space-time algebra (Q2423755) (← links)
- SLAP: specification logic of actions with probability (Q2447174) (← links)
- Bisimulation for labelled Markov processes (Q2506488) (← links)
- Modal logic (Q2744124) (← links)
- Deriving Inverse Operators for Modal Logic (Q3179402) (← links)
- (Q4342093) (← links)
- On the expressiveness of spatial constraint systems (Q5240218) (← links)
- From modal logic to terminal coalgebras (Q5941165) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
