Pages that link to "Item:Q1257012"

The following pages link to A study of Kripke-type models for some modal logics by Gentzen's sequential method (Q1257012):

Displaying 24 items.

• Deep sequent systems for modal logic (Q834716) (← links)
• Display calculi and other modal calculi: a comparison (Q987468) (← links)
• Belief, awareness, and limited reasoning (Q1096610) (← links)
• The complexity of reasoning about knowledge and time. I: Lower bounds (Q1119565) (← links)
• A study of some tense logics by Gentzen's sequential method (Q1145691) (← links)
• A perspective on modal sequent logic (Q1187165) (← links)
• A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
• On some intuitionistic modal logics (Q1244216) (← links)
• Sequential method in propositional dynamic logic (Q1254991) (← links)
• Cut-free sequent calculi for some tense logics (Q1317905) (← links)
• A tableau-like proof procedure for normal modal logics (Q1329745) (← links)
• Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
• The Došen square under construction: a tale of four modalities (Q2142095) (← links)
• Evaluations of epistemic components for resolving the muddy children puzzle (Q2376999) (← links)
• A deep inference system for the modal logic S5 (Q2642520) (← links)
• Mechanizing common knowledge logic using COQ (Q2643149) (← links)
• Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
• Through an Inference Rule, Darkly (Q3305631) (← links)
• On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
• Knowledge, Time, and Logical Omniscience (Q3638298) (← links)
• Sequential method in quantum logic (Q3877681) (← links)
• A cut-free Gentzen-type system for the modal logic S5 (Q3887437) (← links)
• Semantical Approach to Cut Elimination and Subformula Property in Modal Logic (Q5213665) (← links)
• SMALL INFINITARY EPISTEMIC LOGICS (Q5216976) (← links)