Paper Info
Title
Decidability and complexity of fibred logics without shared connectives.
Abstract
Fibring is a powerful mechanism for combining logics, and an essential tool for designing and understanding complex logical systems. Abstract results about the semantics and proof-theory of fibred logics have been extensively developed, including general preservation results for metalogical properties like soundness and (sufficient conditions for) completeness. Decidability, however, a key ingredi...
Year
DOI
Venue
2016
10.1093/jigpal/jzw033
Logic Journal of the IGPL
Keywords
Field
DocType
Fibred logics,disjoint fibring,decidability preservation,complexity
Discrete mathematics,Fibered knot,Decidability,Mathematics
Journal
Volume
Issue
ISSN
24
5
1367-0751
Citations 
PageRank 
References 
2
0.43
18
Authors
2
Name
Order
Citations
PageRank
Sérgio Marcelino1216.41
Carlos Caleiro2144.23