Pages that link to "Item:Q1422628"

The following pages link to Mathematical modal logic: A view of its evolution (Q1422628):

Displaying 22 items.

• Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
• Modes of adjointness (Q484110) (← links)
• Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
• Possible worlds in use (Q647416) (← links)
• Intuitionistic epistemic logic, Kripke models and Fitch's paradox (Q692189) (← links)
• Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms (Q929294) (← links)
• Finite-trace linear temporal logic: coinductive completeness (Q1667649) (← links)
• Canonical extensions: an algebraic approach to Stone duality (Q1991594) (← links)
• Willem Blok and modal logic (Q2433092) (← links)
• Validity and necessity (Q2572383) (← links)
• Lattices with Interior and Closure Operators and Abstract Approximation Spaces (Q3393391) (← links)
• Decidability: theorems and admissible rules (Q3643317) (← links)
• Knowledge means ‘<i>all</i>’, belief means ‘<i>most</i>’ (Q4586161) (← links)
• Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
• (Q4993611) (← links)
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
• Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗ (Q5241535) (← links)
• On the Blok-Esakia Theorem (Q5255793) (← links)
• Constructive Modalities with Provability Smack (Q5255796) (← links)
• Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
• MacNeille completions and canonical extensions (Q5705523) (← links)
• Proof Complexity of Non-classical Logics (Q5894972) (← links)