Pages that link to "Item:Q659458"

The following pages link to Natural deduction, hybrid systems and modal logics (Q659458):

Displaying 43 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)
• Two natural deduction systems for hybrid logic: A comparison (Q1424966) (← links)
• Natural deduction (Q1577346) (← links)
• Sequent systems for negative modalities (Q1682296) (← links)
• Natural deduction for modal logic of judgment aggregation (Q1698339) (← 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)
• Hybrid formulas and elementarily generated modal logics (Q2372681) (← links)
• Natural deduction for modal logic with a backtracking operator (Q2516578) (← links)
• CHR: a constructive relevant natural-deduction logic (Q2845524) (← links)
• Label-free natural deduction systems for intuitionistic and classical modal logics (Q2901201) (← 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)
• Towards a Canonical Classical Natural Deduction System (Q3586047) (← links)
• (Q4575567) (← links)
• Stanisław Jaśkowski and Natural Deduction Systems (Q4611686) (← links)
• A natural deduction approach to dynamic logic (Q4647578) (← 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)