Proof methods for modal and intuitionistic logics
From MaRDI portal
Publication:1056744
Cited in
(only showing first 100 items - show all)- Natural deduction based upon strict implication for normal modal logics
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
- Loop-free calculus for modal logic S4. I
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
- Almost duplication-free tableau calculi for propositional lax logics
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
- Instantial neighbourhood logic
- Through an inference rule, darkly
- Blocking and other enhancements for bottom-up model generation methods
- Propositional lax logic
- A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
- Theory matrices (for modal logics) using alphabetical monotonicity
- First-order intensional logic
- A four-valued dynamic epistemic logic
- Inducing syntactic cut-elimination for indexed nested sequents
- Dual and axiomatic systems for constructive S4, a formally verified equivalence
- Tableaux and algorithms for Propositional Dynamic Logic with Converse
- Improved decision procedures for the modal logics K, T and S4
- On the modal logic K plus theories
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox
- An intriguing logic with two implicational connectives
- Why does the proof-theory of hybrid logic work so well?
- A general tableau method for propositional interval temporal logics: theory and implementation
- A uniform tableaux method for nonmonotonic modal logics
- Nested sequents for intuitionistic logics
- Tableau method for residuated logic
- Labelled tableau systems for some subintuitionistic logics
- Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition
- Linear reasoning in modal logic
- 1998 European Summer Meeting of the Association for Symbolic Logic
- Interpolation for first order S5
- On Blass translation for Leśniewski's propositional ontology and modal logics
- Some Rough Consequence Logics and their Interrelations
- Approximations of modal logics: K and beyond
- A theoretical investigation into quantitative modal logic
- Separation logics and modalities: a survey
- From Schütte’s Formal Systems to Modern Automated Deduction
- Effective completeness theorems for modal logic
- Synthesis of communicating process skeletons from temporal-spatial logic specifications
- Display calculi and other modal calculi: a comparison
- On multiple conclusion deductions in classical logic
- Tableaux methods for access control in distributed systems
- Metatheory of actions: beyond consistency
- Labelling ideality and subideality
- Representing scope in intuitionistic deductions
- On graph calculi for multi-modal logics
- Proof methods for reasoning about possibility and necessity
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
- Prehistoric graph in modal derivations and self-referentiality
- Contraction-free sequent calculi for intuitionistic logic
- Variants of multi-relational semantics for propositional non-normal modal logics
- A natural deduction calculus for \textbf{S4.2}
- A tableau-based decision procedure for CTL\(^*\)
- A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB
- Connectionist computations of intuitionistic reasoning
- A multimodal logic for reasoning about complementarity
- SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
- Temporal alethic-deontic logic and semantic tableaux
- Hypersequent calculi for S5: the methods of cut elimination
- A simple tableau system for the logic of elsewhere
- A loop-free decision procedure for modal propositional logics K4, S4 and S5
- Indexed systems of sequents and cut-elimination
- A formalization of Sambins's normalization for GL
- A translation from the modal logic of provability into K4
- On interactive proof-search for constructive modal necessity
- Machine-checked meta-theory of dual-tableaux for intuitionistic logic
- Tautology elimination, cut elimination, and S5
- Definability and commonsense reasoning
- An epistemic model of logic programming
- Connectionist modal logic: representing modalities in neural networks
- Dynamic squares
- Fibred tableaux for multi-implication logics
- Proof analysis in modal logic
- Nested sequents for intuitionistic modal logics via structural refinement
- Automated deduction
- EXPtime tableaux for ALC
- Rooted hypersequent calculus for modal logic \textsf{S5}
- A logical framework for evolving software systems
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
- Complexity of modal logics with Presburger constraints
- A general approach for determining the validity of commonsense assertions using conditional logics
- Modal logic via global consequence
- Intuitionistic Decision Procedures Since Gentzen
- Uniform and non uniform strategies for tableaux calculi for modal logics
- A tableau-like proof procedure for normal modal logics
- Axiomatizations of team logics
- On a multilattice analogue of a hypersequent S5 calculus
- Positive modal logic
- Coalition description logic with individuals
- Tableaux for constructive concurrent dynamic logic
- Barcan Both Ways
- On graphs for intuitionistic modal logics
- Local model checking for infinite state spaces
- Completeness of a first-order temporal logic with time-gaps
- A uniform procedure for converting matrix proofs into sequent-style systems
- A category-theoretic approach to social network analysis
- Stanisław Jaśkowski and Natural Deduction Systems
- Hypersequent and display calculi -- a unified perspective
- Free variable tableaux for propositional modal logics
This page was built for publication: Proof methods for modal and intuitionistic logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1056744)
