Matches in SemOpenAlex for { <https://semopenalex.org/work/W2438648061> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2438648061 abstract "In this paper we present analytic tableau proof systems for various justification logics. We show that the tableau systems are sound and complete with respect to Mkrtychev models. In order to prove the completeness of the tableaux, we give a syntactic proof of cut elimination. We also show the subformula property for our tableaux, and prove the decidability of justification logics for finite constant specifications." @default.
- W2438648061 created "2016-06-24" @default.
- W2438648061 creator A5082895925 @default.
- W2438648061 date "2016-06-11" @default.
- W2438648061 modified "2023-09-27" @default.
- W2438648061 title "Analytic Tableaux for Justification Logics" @default.
- W2438648061 hasPublicationYear "2016" @default.
- W2438648061 type Work @default.
- W2438648061 sameAs 2438648061 @default.
- W2438648061 citedByCount "0" @default.
- W2438648061 crossrefType "posted-content" @default.
- W2438648061 hasAuthorship W2438648061A5082895925 @default.
- W2438648061 hasConcept C10138342 @default.
- W2438648061 hasConcept C111472728 @default.
- W2438648061 hasConcept C118615104 @default.
- W2438648061 hasConcept C134306372 @default.
- W2438648061 hasConcept C138885662 @default.
- W2438648061 hasConcept C153269930 @default.
- W2438648061 hasConcept C162324750 @default.
- W2438648061 hasConcept C17231256 @default.
- W2438648061 hasConcept C182306322 @default.
- W2438648061 hasConcept C189950617 @default.
- W2438648061 hasConcept C199343813 @default.
- W2438648061 hasConcept C199360897 @default.
- W2438648061 hasConcept C2777027219 @default.
- W2438648061 hasConcept C2777686260 @default.
- W2438648061 hasConcept C33923547 @default.
- W2438648061 hasConcept C41008148 @default.
- W2438648061 hasConcept C71924100 @default.
- W2438648061 hasConceptScore W2438648061C10138342 @default.
- W2438648061 hasConceptScore W2438648061C111472728 @default.
- W2438648061 hasConceptScore W2438648061C118615104 @default.
- W2438648061 hasConceptScore W2438648061C134306372 @default.
- W2438648061 hasConceptScore W2438648061C138885662 @default.
- W2438648061 hasConceptScore W2438648061C153269930 @default.
- W2438648061 hasConceptScore W2438648061C162324750 @default.
- W2438648061 hasConceptScore W2438648061C17231256 @default.
- W2438648061 hasConceptScore W2438648061C182306322 @default.
- W2438648061 hasConceptScore W2438648061C189950617 @default.
- W2438648061 hasConceptScore W2438648061C199343813 @default.
- W2438648061 hasConceptScore W2438648061C199360897 @default.
- W2438648061 hasConceptScore W2438648061C2777027219 @default.
- W2438648061 hasConceptScore W2438648061C2777686260 @default.
- W2438648061 hasConceptScore W2438648061C33923547 @default.
- W2438648061 hasConceptScore W2438648061C41008148 @default.
- W2438648061 hasConceptScore W2438648061C71924100 @default.
- W2438648061 hasLocation W24386480611 @default.
- W2438648061 hasOpenAccess W2438648061 @default.
- W2438648061 hasPrimaryLocation W24386480611 @default.
- W2438648061 hasRelatedWork W1038024421 @default.
- W2438648061 hasRelatedWork W131544705 @default.
- W2438648061 hasRelatedWork W1494727795 @default.
- W2438648061 hasRelatedWork W1498735498 @default.
- W2438648061 hasRelatedWork W1526521607 @default.
- W2438648061 hasRelatedWork W1565759659 @default.
- W2438648061 hasRelatedWork W1589302457 @default.
- W2438648061 hasRelatedWork W1598668400 @default.
- W2438648061 hasRelatedWork W1984799723 @default.
- W2438648061 hasRelatedWork W1988282080 @default.
- W2438648061 hasRelatedWork W2020595717 @default.
- W2438648061 hasRelatedWork W2081512679 @default.
- W2438648061 hasRelatedWork W2085184180 @default.
- W2438648061 hasRelatedWork W2098322793 @default.
- W2438648061 hasRelatedWork W2099565452 @default.
- W2438648061 hasRelatedWork W2147302656 @default.
- W2438648061 hasRelatedWork W2770508387 @default.
- W2438648061 hasRelatedWork W2989962292 @default.
- W2438648061 hasRelatedWork W3198316942 @default.
- W2438648061 hasRelatedWork W82633235 @default.
- W2438648061 isParatext "false" @default.
- W2438648061 isRetracted "false" @default.
- W2438648061 magId "2438648061" @default.
- W2438648061 workType "article" @default.