Skip to content
<title>Channels - Modal meet-implication logic :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Modal meet-implication logic
Search for more channels:
Similar Items: Modal meet-implication logic
Channel Options
View Record
Explore related channels
Quick Look
Modal Logics of Topological Relations
Quick Look
On Nested Sequents for Constructive Modal Logics
Quick Look
A Real-Valued Modal Logic
Quick Look
On Sub-Propositional Fragments of Modal Logic
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
Logic Meets Algebra: the Case of Regular Languages
Quick Look
Generic Modal Cut Elimination Applied to Conditional Logics
Quick Look
Towards a Proof Theory of Gödel Modal Logics
Quick Look
Disjunctive bases: normal forms and model theory for modal logics
Quick Look
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
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
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
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
Quick Look
Modal Interface Automata
Quick Look
Completeness for the coalgebraic cover modality
Quick Look
A Light Modality for Recursion
Quick Look
Modalities in homotopy type theory
Quick Look
Modal Functional (Dialectica) Interpretation
Quick Look
Expressiveness of Metric modalities for continuous time
Load more items
View Record
Prev
Explore related channels
Next
