Pages that link to "Item:Q659458"
From MaRDI portal
The following pages link to Natural deduction, hybrid systems and modal logics (Q659458):
Displaying 34 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584) (← links)
- Possible worlds in use (Q647416) (← links)
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Gödel's natural deduction (Q1744008) (← links)
- Natural deduction systems for intuitionistic logic with identity (Q2106875) (← links)
- A modal view on resource-bounded propositional logics (Q2157601) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- Simple cut elimination proof for hybrid logic (Q2987759) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic (Q3455774) (← links)
- (Q4575567) (← links)
- Stanisław Jaśkowski and Natural Deduction Systems (Q4611686) (← links)
- Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction (Q4683205) (← links)
- The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden (Q4999457) (← links)
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators (Q5013628) (← links)
- The Rule of Existential Generalisation and Explicit Substitution (Q5066098) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)
- Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory (Q5886456) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
- On the finite model property of non-normal modal logics (Q6562546) (← links)
- Time and Indexicality in Buridan’s Concept of Logical Consequence (Q6650470) (← links)
- Puzzles of existential generalisation from type-theoretic perspective (Q6659899) (← links)
