On the public citation graph
Free variable tableaux for propositional modal logics
0 signed · 59 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-58156-1_52openalex-snapshot
Strongly analytic tableaux for normal modal logics
inferredcites →https://doi.org/10.1007/3-540-61208-4_11openalex-snapshot
Distributed modal theorem proving with KE
inferredcites →https://doi.org/10.1007/3-540-61208-4_14openalex-snapshot
Efficient loop-check for backward proof search in some non-classical propositional logics
inferredcites →https://doi.org/10.1007/3-540-61511-3_95openalex-snapshot
The tableau-based theorem prover 3 T A P Version 4.0
inferredcites →https://doi.org/10.1007/3-540-69778-0_24openalex-snapshot
Simplification A General Constraint Propagation Technique for Propositional and Modal Tableaux
inferredcites →https://doi.org/10.1007/3-540-69778-0_4openalex-snapshot
Comparison of Theorem Provers for Modal Logics — Introduction and Summary
inferredcites →https://doi.org/10.1007/978-1-4612-2360-3openalex-snapshot
First-Order Logic and Automated Theorem Proving
inferredcites →https://doi.org/10.1007/978-94-009-0349-4_2openalex-snapshot
Generalising Propositional Modal Logic Using Labelled Deductive Systems
inferredcites →https://doi.org/10.1007/978-94-017-1754-0openalex-snapshot
Handbook of Tableau Methods
inferredcites →https://doi.org/10.1007/978-94-017-1754-0_6openalex-snapshot
Tableau Methods for Modal and Temporal Logics
inferredcites →https://doi.org/10.1007/978-94-017-2794-5openalex-snapshot
Proof Methods for Modal and Intuitionistic Logics
inferredcites →https://doi.org/10.1007/bf00244282openalex-snapshot
SETHEO: A high-performance theorem prover
inferredcites →https://doi.org/10.1007/bf00881804openalex-snapshot
leanTAP: Lean tableau-based deduction
inferredcites →https://doi.org/10.1007/bfb0027407openalex-snapshot
Free variable tableaux for propositional modal logics
inferredcites →https://doi.org/10.1007/bfb0027422openalex-snapshot
ileanTAP: An intuitionistic theorem prover
inferredcites →https://doi.org/10.1016/s1874-5075(03)80014-1openalex-snapshot
Labelled Deductive Systems
inferredcites →https://doi.org/10.1023/a:1004947400860openalex-snapshot
Grafting Modalities onto Substructural Implication Systems
inferredcites →https://doi.org/10.1093/oso/9780198503811.003.0015openalex-snapshot
Grafting modalities onto substructural implication systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11554554_27openalex-snapshot
CondLean 3.0: Improving CondLean for Stronger Conditional Logics
inferred← citeshttps://doi.org/10.1007/3-540-45616-3_19openalex-snapshot
A General Theorem Prover for Quantified Modal Logics
inferred← citeshttps://doi.org/10.1007/3-540-48754-9_15openalex-snapshot
Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?
inferred← citeshttps://doi.org/10.1007/3-540-48754-9_20openalex-snapshot
linTAP : A Tableau Prover for Linear Logic
inferred← citeshttps://doi.org/10.1007/3-540-69778-0_13openalex-snapshot
A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results
inferred← citeshttps://doi.org/10.1007/978-3-319-08587-6_20openalex-snapshot
MleanCoP: A Connection Prover for First-Order Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-45206-5_23openalex-snapshot
CondLean: A Theorem Prover for Conditional Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-73099-6_19openalex-snapshot
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
inferred← citeshttps://doi.org/10.1007/978-94-011-4040-9_2openalex-snapshot
Normal Multimodal Logics with Interaction Axioms
inferred← citeshttps://doi.org/10.1007/bfb0027418openalex-snapshot
Tableaux methods for access control in distributed systems
inferred← citeshttps://doi.org/10.1007/bfb0035639openalex-snapshot
Reasoning about security: A logic and a decision method for role-based access control
inferred← citeshttps://doi.org/10.1007/bfb0095042openalex-snapshot
A labelled sequent system for tense logic Kt
inferred← citeshttps://doi.org/10.1007/bfb0095056openalex-snapshot
cardT A P: Automated deduction on a smart card
inferred← citeshttps://doi.org/10.1016/b978-044450813-3/50005-9openalex-snapshot
Tableaux and Related Methods
inferred← citeshttps://doi.org/10.1016/b978-044450813-3/50024-2openalex-snapshot
Connections in Nonclassical Logics
inferred← citeshttps://doi.org/10.1016/j.entcs.2010.04.018openalex-snapshot
OOPS: An S5n Prover for Educational Settings
inferred← citeshttps://doi.org/10.1016/s0747-7171(03)00037-3openalex-snapshot
leanCoP: lean connection-based theorem proving
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80007-3openalex-snapshot
4 Computational modal logic
inferred← citeshttps://doi.org/10.1017/s0960129518000440openalex-snapshot
A general proof certification framework for modal logic
inferred← citeshttps://doi.org/10.1023/a:1006155811656openalex-snapshot
Single Step Tableaux for Modal Logics
inferred← citeshttps://doi.org/10.1023/a:1013886427723openalex-snapshot
Free-Variable Tableaux for Propositional Modal Logics
inferred← citeshttps://doi.org/10.1093/jigpal/8.3.293openalex-snapshot
An analysis of empirical testing for modal decision procedures
inferred← citeshttps://doi.org/10.1093/logcom/8.3.373openalex-snapshot
Tableau methods for formal verification of multi-agent distributed systems
inferred← citeshttps://doi.org/10.1145/1071596.1071599openalex-snapshot
Disjunction and modular goal-directed proof search
inferred← citeshttps://doi.org/10.1145/1276920.1276924openalex-snapshot
A sequent calculus and a theorem prover for standard conditional logics
inferred← citeshttps://doi.org/10.1613/jair.1166openalex-snapshot
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
inferred← citeshttps://doi.org/10.2197/ipsjdc.2.207openalex-snapshot
Access Control Policy Analysis Using Free Variable Tableaux
inferred← citeshttps://doi.org/10.29007/82m9openalex-snapshot
Implementing Connection Calculi for First-order Modal Logics
inferred← citeshttps://doi.org/10.29007/mclwopenalex-snapshot
Implementing Different Proof Calculi for First-order Modal Logics
inferred← citeshttps://doi.org/10.3166/jancl.16.367-408openalex-snapshot
An efficient relational deductive system for propositional non-classical logics
inferred← citeshttps://doi.org/10.3166/jancl.18.427-473openalex-snapshot
Theorem proving for conditional logics: CondLean and GOALDUCK
inferred← citeshttps://doi.org/10.3217/jucs-005-03-0088openalex-snapshot
Connection-Based Theorem Proving in Classical and Non-Classical Logics
inferred← citeshttps://doi.org/10.3233/978-1-61499-098-7-163openalex-snapshot
Implementing and Evaluating Provers for First-order Modal Logics
inferred← citeshttps://doi.org/10.4230/lipics.csl.2025.42openalex-snapshot
Refining Labelled Systems for Modal and Constructive Logics with Applications
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0104021openalex-snapshot
Disjunction and modular goal-directed proof search
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0407064openalex-snapshot
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
showing the first 38 of 39 · page through all 39
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.