Skip to content
<title>Channels - A Real-Valued Modal Logic :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A Real-Valued Modal Logic
Search for more channels:
Similar Items: A Real-Valued Modal Logic
Channel Options
View Record
Explore related channels
Quick Look
Modal Logics of Topological Relations
Quick Look
Modal meet-implication logic
Quick Look
On Sub-Propositional Fragments of Modal Logic
Quick Look
On Nested Sequents for Constructive Modal Logics
Quick Look
Dual-Context Calculi for Modal Logic
Quick Look
Modal Logics for Nominal Transition Systems
Quick Look
Canonical Models and the Complexity of Modal Team Logic
Quick Look
Validity and Entailment in Modal and Propositional Dependence Logics
Quick Look
Towards a Proof Theory of Gödel Modal Logics
Quick Look
Generic Modal Cut Elimination Applied to Conditional Logics
Quick Look
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Quick Look
Disjunctive bases: normal forms and model theory for modal logics
Quick Look
Complexity results for modal logic with recursion via translations and tableaux
Quick Look
Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
Quick Look
Relation lifting, with an application to the many-valued cover modality
Quick Look
Logic for exact real arithmetic
Quick Look
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
Quick Look
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Quick Look
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
Quick Look
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
Quick Look
Light Logics and the Call-by-Value Lambda Calculus
Quick Look
Encoding many-valued logic in $lambda$-calculus
Quick Look
Many-valued coalgebraic logic over semi-primal varieties
Quick Look
A Light Modality for Recursion
Load more items
View Record
Prev
Explore related channels
Next
