descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article 01 Jan 1997Publisher:Springer Berlin HeidelbergJournal:Studia Logica, volume 69, pages 59-96 (issn: 0039-3215, eissn: 1572-8730,

Authors: Beckert, Bernhard; Gore, Rajeev;

doi: 10.1007/bfb0027407 , 10.1023/a:1013886427723

Free variable tableaux for propositional modal logics

- Summary
- Subjects
- Related research
  (6)
- Metrics

Abstract

zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Related Organizations

Imperial College London
United Kingdom
Karlsruhe Institute of Technology
Germany
Australian National University
Australia

Keywords

ddc:004, DATA processing & computer science, automated decuction, 004, Mechanization of proofs and logical operations, theorem proving, free-variable tableaux, propositional modal logics, Modal logic (including the logic of norms), info:eu-repo/classification/ddc/004

6 Research products, page 1 of 1

Using Limited Dependence Sequential Expansion for Decompressing Test Vectors
2006IsAmongTopNSimilarDocuments
Proof and Model Generation with Disconnection Tableaux
2001IsAmongTopNSimilarDocuments
Some Techniques for Branch-Saturation in Free-Variable Tableaux
2004IsAmongTopNSimilarDocuments
Self-Inconsistency of set theory
2017IsAmongTopNSimilarDocuments
Free-Variable Semantic Tableaux for the Logic of Fuzzy Inequalities
2016IsAmongTopNSimilarDocuments
A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
2011IsAmongTopNSimilarDocuments

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	43
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%